A simple process algebra based on atomic actions with resources

DOI10.1017/S0960129503003943MaRDI QIDQ4463987zbMATH OpenFDO

Authors Paul Gastin, Michael Mislove

Publication date 27 May 2004

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129503003943

zbMATH Keywords

companion operational semanticsdenotational semantics

Mathematics Subject Classification ID

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

Recommendations

• A truly concurrent semantics for a process algebra using resource pomsets
• scientific article; zbMATH DE number 17816
• Resource traces: A domain for processes sharing exclusive resources.
• A truly concurrent process semantics over multi-pomsets of consumable resources
• scientific article; zbMATH DE number 1424057

Cited in

(6)

• The semantics of the combination of atomized statements and parallel choice
• Resource traces: A domain for processes sharing exclusive resources.
• Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
• A truly concurrent process semantics over multi-pomsets of consumable resources
• scientific article; zbMATH DE number 1136657 (Why is no real title available?)
• A calculus and logic of resources and processes

This page was built for publication: A simple process algebra based on atomic actions with resources

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