scientific article; zbMATH DE number 4018374

MaRDI QIDQ3030243zbMATH OpenFDO

Authors Ernst-Rüdiger Olderog

Publication date 1987

zbMATH Keywords

automatonsynchronizationfull abstractionparallelismprocesslabelled transition systemdeadlockMilner's CCSCOSYnondeterministic machinesfailure semanticsoperational and denotational semantics

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

(12)

• A Theory of Communicating Sequential Processes
• Behavioural abstraction in TCCS
• scientific article; zbMATH DE number 2104634 (Why is no real title available?)
• Towards the hierarchical verification of reactive systems
• Global types and event structure semantics for asynchronous multiparty sessions
• Sequential composition in the presence of intermediate termination (extended abstract)
• 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
• scientific article; zbMATH DE number 3928330 (Why is no real title available?)
• Unfolding CSP
• Transaction processing primitives and CSP
• Event structure semantics for multiparty sessions
• scientific article; zbMATH DE number 3986629 (Why is no real title available?)

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)