Causal behaviours and nets

DOI10.1007/3-540-60029-9_44MaRDI QIDQ5096367zbMATHOpenAlexFDO

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

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)

Recommendations

• Causality in extensions of Petri nets
• Synthesis and Analysis of Petri Nets from Causal Specifications
• scientific article; zbMATH DE number 2060760
• scientific article; zbMATH DE number 4070337
• Causal semantics for Petri nets with contacts

Cites work

• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 3911719 (Why is no real title available?)
• scientific article; zbMATH DE number 3982529 (Why is no real title available?)
• scientific article; zbMATH DE number 4030999 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 140240 (Why is no real title available?)
• scientific article; zbMATH DE number 4119660 (Why is no real title available?)
• A formal semantics for concurrent systems with a priority relation
• Algebraic specification and verification of communication protocols
• Causal automata
• Coloured Petri nets and the invariant-method
• Detecting causal relationships in distributed computations: In search of the holy grail
• On the nature of events
• On the specification of elementary reactive behaviour
• Process Algebra
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Sequential and concurrent behaviour in Petri net theory
• Time, clocks, and the ordering of events in a distributed system

Cited in

(6)

• Formal Reasoning About Causality Analysis
• Arc-typed Petri Nets
• Some behavioural aspects of net theory
• Behavioural conflicts in a causal specification
• Causality as a theoretical concept: explanatory warrant and empirical content of the theory of causal nets
• Causal Relay Networks

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)