scientific article; zbMATH DE number 3995043

MaRDI QIDQ4721641zbMATH OpenFDO

Authors Rocco De Nicola, Matthew Hennessy

Publication date 1987

zbMATH Keywords

calculus of communicating systemschoice operatorcombinatorinternal actionsnondeterminismoperational semantics

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• A partial ordering semantics for CCS
• scientific article; zbMATH DE number 4035159
• scientific article; zbMATH DE number 4018372
• CCS with priority choice
• On the expressive power of CCS

Cited in

(16)

• The chemical abstract machine
• Basic observables for processes
• On the operational semantics of nondeterminism and divergence
• Linda-based applicative and imperative process algebras
• Finite axiom systems for testing preorder and De Simone process languages
• A fixed-points based framework for compliance of behavioural contracts
• On the expressive power of CCS
• Linearity, control effects, and behavioral types
• An algebraic theory for web service contracts
• scientific article; zbMATH DE number 7559468 (Why is no real title available?)
• Divergence in testing and readiness semantics
• Translation of CCS into CSP, correct up to strong bisimulation
• Liquidity analysis in resource-aware programming
• Composition of synchronous communicating systems
• Step semantics for ``true concurrency with recursion
• Contract-based discovery of Web services modulo simple orchestrators

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