scientific article; zbMATH DE number 4018374

zbMATH Open0626.68026MaRDI QIDQ3030243FDOQ3030243

Authors: Ernst-Rüdiger Olderog 

Publication date: 1987

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited In (12)

• A Theory of Communicating Sequential Processes
• Behavioural abstraction in TCCS
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Unfolding CSP
• Transaction processing primitives and CSP
• Event structure semantics for multiparty sessions
• Title not available (Why is that?)

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)