scientific article; zbMATH DE number 3995043

zbMath0614.68025MaRDI QIDQ4721641

Rocco De Nicola, Matthew C. B. Hennessy

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

operational semanticschoice operatornondeterminismcalculus of communicating systemscombinatorinternal actions

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (15)

On the operational semantics of nondeterminism and divergence ⋮ 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 ⋮ Linearity, Control Effects, and Behavioral Types ⋮ An algebraic theory for web service contracts ⋮ The chemical abstract machine ⋮ Unnamed Item ⋮ Contract-based discovery of Web services modulo simple orchestrators ⋮ Divergence in testing and readiness semantics ⋮ A fixed-points based framework for compliance of behavioural contracts ⋮ Basic observables for processes ⋮ Linda-based applicative and imperative process algebras ⋮ Finite axiom systems for testing preorder and De Simone process languages

This page was built for publication: