Unique fixpoint induction for message-passing process calculi

DOI10.1016/S0167-6423(01)00008-9zbMATH Open0998.68089OpenAlexW2061930075MaRDI QIDQ5954637FDOQ5954637

Authors: Matthew Hennessy, H. Lin, Julian Rathke 

Publication date: 5 February 2002

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(01)00008-9

Recommendations

• scientific article; zbMATH DE number 1487725
• scientific article; zbMATH DE number 3928330
• Proof systems for message-passing process algebras
• A modal logic for message passing processes
• scientific article; zbMATH DE number 1522998

zbMATH Keywords

proof systemmessage-passing process calculi with recursion

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (3)

• The Value-Passing Calculus
• A ground-complete axiomatization of stateless bisimilarity over Linda
• Theory of interaction

Uses Software

• Coq

This page was built for publication: Unique fixpoint induction for message-passing process calculi

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