scientific article; zbMATH DE number 3980467

MaRDI QIDQ3745263zbMATH OpenFDO

Authors

Publication date 1985

zbMATH Keywords

information hidingterminationmessage passingdeadlockliveness propertiesmodelling processes and networks of processesrecursively-defined networksspecification and correctness proof for a recursive networktemporal proof system for processes

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• A model and temporal proof system for networks of processes
• scientific article; zbMATH DE number 139998
• Specification-oriented semantics for communicating processes
• scientific article; zbMATH DE number 3956416
• A state-based approach to communicating processes

Cited in

(9)

• A Domain View of Timed Behaviors
• Concept-Oriented Modeling of Dynamic Behavior
• Describing Behavior of Processes with Many-to-Many Interactions
• Model-100: specification language for interacting processes
• scientific article; zbMATH DE number 139998 (Why is no real title available?)
• Control machines: A new model of parallelism for compositional specifications and their effective compilation
• A model and temporal proof system for networks of processes
• Process specification and verification
• Expressiveness of propositional projection temporal logic with star

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 Q3745263)