The expressive power of monotonic parallel composition

DOI10.1007/978-3-662-49498-1_30MaRDI QIDQ2802500zbMATH OpenOpenAlexFDO

Authors Johannes Åman Pohjola, Joachim Parrow

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

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

Recommendations

• scientific article; zbMATH DE number 1390069
• A hierarchy of expressiveness in concurrent interaction nets
• Separation Results Via Leader Election Problems
• scientific article; zbMATH DE number 1555178
• Tutorial on separation results in process calculi via leader election problems

Cites work

• scientific article; zbMATH DE number 1223724 (Why is no real title available?)
• scientific article; zbMATH DE number 2060758 (Why is no real title available?)
• scientific article; zbMATH DE number 1759424 (Why is no real title available?)
• scientific article; zbMATH DE number 1863171 (Why is no real title available?)
• scientific article; zbMATH DE number 1390069 (Why is no real title available?)
• A process algebra for timed systems
• A process algebra for wireless mesh networks
• An observational theory for mobile ad hoc networks (full version)
• Breaking symmetries
• Broadcast calculus interpreted in CCS upto bisimulation
• Broadcast psi-calculi with an application to wireless protocols
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• Calculi for synchrony and asynchrony
• Impossibility of distributed consensus with one faulty process
• Isabelle/HOL. A proof assistant for higher-order logic
• Locales: a module system for mathematical theories
• On distributability in process calculi
• On the Expressive Power of Global and Local Priority in Process Calculi
• On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
• Priorities in process algebras
• Psi-calculi: a framework for mobile processes with nominal data and logic
• The expressive power of monotonic parallel composition
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi

Cited in

(5)

• Compositions of programs that induce special monotonic functions
• The expressive power of monotonic parallel composition
• Replacement freeness: a criterion for separating process calculi
• scientific article; zbMATH DE number 3907755 (Why is no real title available?)
• Expressibility and Parallel Complexity

Describes a project that uses

Uses Software

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

This page was built for publication: The expressive power of monotonic parallel composition

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