scientific article; zbMATH DE number 6131598

From MaRDI portal

Publication:4904146

Jump to:navigation, search

zbMath1258.68098MaRDI QIDQ4904146

Uri Abraham

Publication date: 28 January 2013

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

concurrency behavioral reasoning mutual exclusion property Petersen algorithm

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4904146&oldid=19293420"