scientific article; zbMATH DE number 3911691

MaRDI QIDQ3687696zbMATH OpenFDO

Authors Rocco De Nicola, Ugo Montanari, Pierpaolo Degano

Publication date 1985

zbMATH Keywords

CCS transitionsconcurrent and communicating systemsconcurrent historiespartial orderings

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

(15)

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

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)