scientific article; zbMATH DE number 6131598

zbMATH Open1258.68098MaRDI QIDQ4904146FDOQ4904146

Uri Abraham

Publication date: 28 January 2013

Title of this publication is not available (Why is that?)

zbMATH Keywords

concurrencybehavioral reasoningmutual exclusion propertyPetersen algorithm

Mathematics Subject Classification ID

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

Cited In (3)

• Progress assumption in concurrent systems
• Title not available (Why is that?)
• Behavioural semantics for asynchronous components

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4904146)