Causal trees, finally

DOI10.1007/978-3-319-25527-9_4MaRDI QIDQ3460861zbMATH OpenOpenAlexFDO

Authors Roberto Bruni, Ugo Montanari, Matteo Sammartino

Publication date 8 January 2016

Published in Programming Languages with Applications to Biology and Security (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11568/769902

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A note on causal trees and their applications to CCS
• scientific article; zbMATH DE number 6708360
• Revisiting causality, coalgebraically
• Causality versus true-concurrency
• Causality versus true-concurrency

Cites work

• A coalgebraic semantics for causality in Petri nets
• A note on causal trees and their applications to CCS
• About permutation algebras, (pre)sheaves and named sets
• Causality versus true-concurrency
• Families of symmetries as efficient models of resource binding
• scientific article; zbMATH DE number 1231616 (Why is no real title available?)
• scientific article; zbMATH DE number 1418351 (Why is no real title available?)
• Revisiting causality, coalgebraically
• Symmetries, local names and dynamic (de)-allocation of names
• Universal coalgebra: A theory of systems

Cited in

(5)

• Revisiting causality, coalgebraically
• Causality versus true-concurrency
• Causality versus true-concurrency
• scientific article; zbMATH DE number 6708360 (Why is no real title available?)
• A note on causal trees and their applications to CCS

This page was built for publication: Causal trees, finally

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