The Expressive Power of Monotonic Parallel Composition

DOI10.1007/978-3-662-49498-1_30zbMath1335.68039OpenAlexW2468481297MaRDI QIDQ2802500

Joachim Parrow, Johannes Åman Pohjola

Publication date: 26 April 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-49498-1_30

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Replacement freeness: a criterion for separating process calculi ⋮ The Expressive Power of Monotonic Parallel Composition

Uses Software

• Isabelle/HOL
• Locales
• CC-Pi
• Coinductive
• Archive Formal Proofs

Cites Work

• Priorities in process algebras
• An observational theory for mobile ad hoc networks (full version)
• Calculi for synchrony and asynchrony
• On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
• Isabelle/HOL. A proof assistant for higher-order logic
• A process algebra for timed systems
• Locales: a module system for mathematical theories
• The Expressive Power of Monotonic Parallel Composition
• A Process Algebra for Wireless Mesh Networks
• Breaking symmetries
• Psi-calculi: a framework for mobile processes with nominal data and logic
• Broadcast Psi-calculi with an Application to Wireless Protocols
• On the Expressive Power of Global and Local Priority in Process Calculi
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi
• Impossibility of distributed consensus with one faulty process
• Broadcast Calculus Interpreted in CCS upto Bisimulation
• On Distributability in Process Calculi
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item