Final universes of processes

DOI10.1007/3-540-58027-1_1OpenAlexW1490795061MaRDI QIDQ5890039

Peter Aczel

Publication date: 28 April 2023

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

Full work available at URL: https://doi.org/10.1007/3-540-58027-1_1

zbMATH Keywords

labelledcoalgebraCSPtransition systemprocessCCSfinal universe

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

A fixpoint approach to finite delay and fairness ⋮ Semantics for finite delay ⋮ Process Calculi à la Bird-Meertens ⋮ Universal coalgebra: A theory of systems ⋮ An Exercise on Transition Systems

Cites Work

• Process Algebra
• A final coalgebra theorem
• Generalization of final algebra semantics by relativization
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Final universes of processes