Unique fixpoint induction for message-passing process calculi

DOI10.1016/S0167-6423(01)00008-9zbMath0998.68089OpenAlexW2061930075MaRDI QIDQ5954637

No author found.

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)

Related Items (3)

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

Uses Software

• Coq

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