Causal behaviours and nets

DOI10.1007/3-540-60029-9_44zbMath1496.68231OpenAlexW2118303749MaRDI QIDQ5096367

Joost-Pieter Katoen

Publication date: 16 August 2022

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

Full work available at URL: https://research.utwente.nl/en/publications/causal-behaviours-and-nets(5f76172c-cc3d-4538-9b16-ae56cef7a8cc).html

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Arc-typed Petri Nets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A formal semantics for concurrent systems with a priority relation
• Sequential and concurrent behaviour in Petri net theory
• Coloured Petri nets and the invariant-method
• Causal automata
• Detecting causal relationships in distributed computations: In search of the holy grail
• Algebraic specification and verification of communication protocols
• Process Algebra
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Time, clocks, and the ordering of events in a distributed system
• On the nature of events
• On the specification of elementary reactive behaviour

This page was built for publication: Causal behaviours and nets