Unique fixpoint induction for message-passing process calculi

DOI10.1016/S0167-6423(01)00008-9MaRDI QIDQ5954637zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

message-passing process calculi with recursionproof system

Mathematics Subject Classification ID

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

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

Cited in

(4)

• The Value-Passing Calculus
• scientific article; zbMATH DE number 1487725 (Why is no real title available?)
• A ground-complete axiomatization of stateless bisimilarity over Linda
• Theory of interaction

Describes a project that uses

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)