On the nature of events

DOI10.1007/3-540-55808-X_42zbMath1493.68253MaRDI QIDQ5096856

G. Michele Pinna, Axel Poigné

Publication date: 18 August 2022

Published in: Mathematical Foundations of Computer Science 1992 (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) 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 (9)

On the specification of elementary reactive behaviour ⋮ Domain and event structure semantics for Petri nets with read and inhibitor arcs ⋮ Causal behaviours and nets ⋮ Reversibility and asymmetric conflict in event structures ⋮ Non sequential semantics for contextual P/T nets ⋮ On the nature of events: another perspective in concurrency ⋮ Unnamed Item ⋮ Minimisation of event structures ⋮ Contextual Petri nets, asymmetric event structures, and processes

Cites Work

• Unnamed Item
• Unnamed Item
• On the nature of events: another perspective in concurrency
• Prescribing behaviours
• Logics of Modal Terms for Systems Specification

This page was built for publication: On the nature of events