The expressive power of monotonic parallel composition

DOI10.1007/978-3-662-49498-1_30zbMATH Open1335.68039OpenAlexW2468481297MaRDI QIDQ2802500FDOQ2802500

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

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

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)

Cites Work

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

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
• Title not available (Why is that?)
• Expressibility and Parallel Complexity

Uses Software

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

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)