An operational semantics of occam

DOI10.1007/BF01379186zbMath0701.68072MaRDI QIDQ914399

Juanito Camilleri

Publication date: 1989

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

zbMATH Keywords

operational semanticspriority alternationrefusal and acceptance setssyntax directed transition systems

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

On relating some models for concurrency ⋮ Revisiting sequential composition in process calculi ⋮ Causality for mobile processes

Cites Work

• CCS with priority choice
• A structural approach to operational semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An operational semantics of occam