scientific article; zbMATH DE number 7215282
From MaRDI portal
Publication:5114821
Recommendations
- A new operational representation of dependencies in event structures
- Modeling event structures*
- scientific article; zbMATH DE number 4208063
- scientific article; zbMATH DE number 4074505
- Conformance relations for labeled event structures
- Efficient dependency tracking for relevant events in concurrent systems
- scientific article; zbMATH DE number 4018370
- scientific article; zbMATH DE number 4213438
- Event structures and domains
- Event structures and domains
Cites work
- scientific article; zbMATH DE number 3885321 (Why is no real title available?)
- scientific article; zbMATH DE number 140240 (Why is no real title available?)
- scientific article; zbMATH DE number 1759628 (Why is no real title available?)
- A semantic framework for open processes
- Causal automata
- Circular causality in event structures
- Contextual Petri nets, asymmetric event structures, and processes
- Domain and event structure semantics for Petri nets with read and inhibitor arcs
- Event structures with disabling/enabling relation and event automata
- From max-plus algebra to nonexpansive mappings: A nonlinear theory for discrete event systems.
- Global and local choice functions
- Higher-order dynamics in event structures
- Mathematical Foundations of Computer Science 2004
- Merging relations: a way to compact Petri nets' behaviors uniformly
- Modeling dependencies and simultaneity in membrane system computations
- On the nature of events
- On the nature of events: another perspective in concurrency
- Petri nets, event structures and domains. I
- Reversibility and asymmetric conflict in event structures
- Semantics of inhibitor nets
- Simultaneity in event structures
- Transition systems, link graphs and Petri nets
Cited in
(4)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5114821)
