Process Calculi à la Bird-Meertens

DOI10.1016/S1571-0661(04)80902-2zbMath1260.68257OpenAlexW2077564715MaRDI QIDQ4917032

Luís Soares Barbosa

Publication date: 26 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80902-2

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

A perspective on service orchestration ⋮ An Exercise on Transition Systems

Cites Work

• Data structures and program transformation
• Structural induction and coinduction in a fibrational setting
• Coalgebraic logic
• A lattice-theoretical fixpoint theorem and its applications
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
• The temporal logic of coalgebras via Galois algebras
• Final universes of processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Process Calculi à la Bird-Meertens