Final universes of processes

DOI10.1007/3-540-58027-1_1MaRDI QIDQ5890039zbMATH OpenOpenAlexFDO

Authors 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

CCScoalgebraCSPfinal universelabelledprocesstransition system

Mathematics Subject Classification ID

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

Recommendations

• Processes and hyperuniverses
• A universe of processes and some of its guises
• The universal process
• Ultimate stochastic entities
• Structuralization of universes
• Irreversible processes and a new model for the universe
• scientific article; zbMATH DE number 4050968
• A process calculus with finitary comprehended terms
• Finite quantum processes
• Elementarteilchen – oder woraus bestehen wir?

Cites work

• A final coalgebra theorem
• Generalization of final algebra semantics by relativization
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• Process Algebra

Cited in

(6)

• A fixpoint approach to finite delay and fairness
• Semantics for finite delay
• Universal coalgebra: A theory of systems
• An exercise on transition systems
• Process Calculi à la Bird-Meertens
• Processes and hyperuniverses

This page was built for publication: Final universes of processes

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