On the nature of events: another perspective in concurrency

DOI10.1016/0304-3975(94)00174-HzbMath0874.68111OpenAlexW2058581099MaRDI QIDQ674197

G. Michele Pinna, Axel Poigné

Publication date: 28 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(94)00174-h

zbMATH Keywords

event automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (20)

Domain and event structure semantics for Petri nets with read and inhibitor arcs ⋮ Well-behaved flow event structures for parallel composition and action refinement ⋮ Semantic domains of timed event structures ⋮ Configuration structures, event structures and Petri nets ⋮ Replication, refinement \& reachability: complexity in dynamic condition-response graphs ⋮ Unfolding semantics of graph transformation ⋮ On the nature of events ⋮ Unfolding Graph Transformation Systems: Theory and Applications to Verification ⋮ Modeling dependencies and simultaneity in membrane system computations ⋮ Independence Abstractions and Models of Concurrency ⋮ Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict ⋮ Unnamed Item ⋮ Non sequential semantics for contextual P/T nets ⋮ Flow Unfolding of Multi-clock Nets ⋮ Atomic actions, and their refinements to isolated protocols ⋮ McMillan’s Complete Prefix for Contextual Nets ⋮ Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes ⋮ Unnamed Item ⋮ Minimisation of event structures ⋮ Contextual Petri nets, asymmetric event structures, and processes

Cites Work

• Prescribing behaviours
• Causal automata
• Temporal Reasoning over Deontic Specifications
• A Theory of Communicating Sequential Processes
• On the nature of events
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the nature of events: another perspective in concurrency