scientific article; zbMATH DE number 3911691

zbMATH Open0571.68016MaRDI QIDQ3687696FDOQ3687696

Pierpaolo Degano, Rocco De Nicola, Ugo Montanari

Publication date: 1985

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

partial orderingsCCS transitionsconcurrent and communicating systemsconcurrent histories

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited In (14)

• A partial ordering semantics for CCS
• Title not available (Why is that?)
• Causality for mobile processes
• Proved trees
• Verification of distributed programs using representative interleaving sequences
• A distributed operational semantics of CCS based on condition/event systems
• Language-based performance prediction for distributed and mobile systems
• Pierpaolo Degano
• CCS with priority choice
• Characterizations of pretameness and the Ord-cc
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
• Control machines: A new model of parallelism for compositional specifications and their effective compilation
• Title not available (Why is that?)
• An algebraic view of interleaving and distributed operational 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)