On sequential composition, action prefixes and process prefix

DOI10.1007/BF01215407MaRDI QIDQ1333405zbMATH OpenFDO

Authors Jos C. M. Baeten, J. A. Bergstra

Publication date 14 August 2000

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01215407

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cites work

• A calculus of communicating systems
• A calculus of mobile processes. I
• A Theory of Communicating Sequential Processes
• Algebraic specifications of computable and semicomputable data types
• Communicating sequential processes
• Global renaming operators in concrete process algebra
• scientific article; zbMATH DE number 3958712 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Modal logics for mobile processes
• Process Algebra
• Process algebra for synchronous communication
• Process algebra with guards: Combining hoare logic with process algebra
• Processes and the denotational semantics of concurrency
• Proof systems for message-passing process algebras
• Top-down design and the algebra of communicating processes

Cited in

(8)

• On the expressiveness of choice quantification
• Logic of transition systems
• Discrete time process algebra
• Refinement-oriented probability for CSP
• Network algebra for asynchronous dataflow^∗
• Embedding untimed into timed process algebra; the case for explicit termination
• Discrete time process algebra with abstraction
• Revisiting sequential composition in process calculi

This page was built for publication: On sequential composition, action prefixes and process prefix

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1333405)