Causal behaviours and nets
DOI10.1007/3-540-60029-9_44zbMATH Open1496.68231OpenAlexW2118303749MaRDI QIDQ5096367FDOQ5096367
Authors: 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
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Coloured Petri nets and the invariant-method
- Title not available (Why is that?)
- Title not available (Why is that?)
- Time, clocks, and the ordering of events in a distributed system
- Process Algebra
- Detecting causal relationships in distributed computations: In search of the holy grail
- Title not available (Why is that?)
- Sequential and concurrent behaviour in Petri net theory
- Title not available (Why is that?)
- Recoverability of Communication Protocols--Implications of a Theoretical Study
- A formal semantics for concurrent systems with a priority relation
- Causal automata
- Title not available (Why is that?)
- On the nature of events
- Title not available (Why is that?)
- Algebraic specification and verification of communication protocols
- Title not available (Why is that?)
- On the specification of elementary reactive behaviour
Cited In (6)
This page was built for publication: Causal behaviours and nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096367)