scientific article; zbMATH DE number 3911691

MaRDI QIDQ3687696zbMATHFDO

Authors Rocco De Nicola, Ugo Montanari, Pierpaolo Degano

Publication date 1985

zbMATH Keywords

partial orderingsCCS transitionsconcurrent and communicating systemsconcurrent histories

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• A partial ordering semantics for CCS
• scientific article; zbMATH DE number 4119653
• scientific article; zbMATH DE number 938663
• scientific article; zbMATH DE number 4074504
• Modeling concurrency with partial orders

Cited in

(14)

• A partial ordering semantics for CCS
• Language-based performance prediction for distributed and mobile systems
• CCS with priority choice
• Causality for mobile processes
• scientific article; zbMATH DE number 4074504 (Why is no real title available?)
• Verification of distributed programs using representative interleaving sequences
• Pierpaolo Degano
• scientific article; zbMATH DE number 4119653 (Why is no real title available?)
• An algebraic view of interleaving and distributed operational semantics for CCS
• Control machines: A new model of parallelism for compositional specifications and their effective compilation
• Characterizations of pretameness and the Ord-cc
• A distributed operational semantics of CCS based on condition/event systems
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
• Proved trees

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