scientific article

From MaRDI portal

Publication:3817586

Jump to:navigation, search

zbMath0666.68021MaRDI QIDQ3817586

Gérard Boudol, Ilaria Castellani

Publication date: 1988

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

zbMATH Keywords

operational semantics bisimulation concurrency axiomatization synchronisation event structures calculus of processes atomic actions execution model operation of programs syntax of terms

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Related Items

A theory of processes with localities ⋮ Comparing locality and causality based equivalences

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