scientific article; zbMATH DE number 4018374

MaRDI QIDQ3030243zbMATH OpenFDO

Authors Ernst-Rüdiger Olderog

Publication date 1987

zbMATH Keywords

automatonCOSYdeadlockfailure semanticsfull abstractionlabelled transition systemMilner's CCSnondeterministic machinesoperational and denotational semanticsparallelismprocesssynchronization

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• A Theory of Communicating Sequential Processes
• scientific article; zbMATH DE number 3928330
• scientific article; zbMATH DE number 795666
• scientific article; zbMATH DE number 4018375
• Denotational semantics of communicating sequential programs

Cited in

(13)

• The connection between an event structure semantics and an operational semantics for TCSP
• Communicating sequential processes. The first 25 years. Symposium on the occasion of 25 years of CSP, London, UK, July 7--8, 2004. Revised invited papers
• Event structure semantics for multiparty sessions
• Unfolding CSP
• scientific article; zbMATH DE number 3928330 (Why is no real title available?)
• scientific article; zbMATH DE number 3986629 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• Transaction processing primitives and CSP
• scientific article; zbMATH DE number 2104634 (Why is no real title available?)
• Sequential composition in the presence of intermediate termination (extended abstract)
• Behavioural abstraction in TCCS
• Towards the hierarchical verification of reactive systems
• Global types and event structure semantics for asynchronous multiparty sessions

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