Proof systems for message-passing process algebras

DOI10.1007/BF01213531zbMATH Open0857.68040MaRDI QIDQ1815341FDOQ1815341

Yanyan Li

Publication date: 10 November 1996

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

zbMATH Keywords

process algebrabisimulationmessage-passing

Mathematics Subject Classification ID

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A calculus of mobile processes. I
• A proof system for communicating processes with value-passing
• Symbolic bisimulations
• The laws of Occam programming
• A theory of communicating processes with value passing
• Algebraic theories for name-passing calculi
• Automated analysis of mutual exclusion algorithms using CCS
• A modal logic for message passing processes

Cited In (19)

• Proof systems for infinite behaviours
• A semantic theory for value-passing processes based on the late approach
• Equivalence Checking for a Finite Higher Order π-Calculus
• On bidirectional runtime enforcement
• A complexity analysis of bisimilarity for value-passing processes
• A modal logic for message passing processes
• Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
• Computing strong and weak bisimulations for psi-calculi
• Bisimulations for a calculus of broadcasting systems
• The Value-Passing Calculus
• Revisiting sequential composition in process calculi
• On sequential composition, action prefixes and process prefix
• Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus.
• Unique fixpoint induction for message-passing process calculi
• Computing bisimulations for finite-control \(\pi\)-calculus
• A complete symbolic bisimulation for full applied pi calculus
• A formal semantics for debugging synchronous message passing-based concurrent programs
• Contradiction-Tolerant Process Algebra with Propositional Signals
• Theory of interaction

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A proof system for communicating processes with value-passing 👍 👎
• A modal logic for message passing processes 👍 👎

This page was built for publication: Proof systems for message-passing process algebras

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