scientific article; zbMATH DE number 7215282
From MaRDI portal
Publication:5114821
Authors: G. Michele Pinna
Publication date: 26 June 2020
Full work available at URL: https://arxiv.org/abs/1910.02521
Title of this publication is not available (Why is that?)
Recommendations
- A new operational representation of dependencies in event structures
- Modeling event structures*
- scientific article
- 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
- Event structures and domains
- Event structures and domains
Cites Work
- Petri nets, event structures and domains. I
- 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
- Title not available (Why is that?)
- Event structures with disabling/enabling relation and event automata
- Modeling dependencies and simultaneity in membrane system computations
- On the nature of events: another perspective in concurrency
- From max-plus algebra to nonexpansive mappings: A nonlinear theory for discrete event systems.
- Semantics of inhibitor nets
- Causal automata
- On the nature of events
- Title not available (Why is that?)
- Mathematical Foundations of Computer Science 2004
- Transition systems, link graphs and Petri nets
- Merging relations: a way to compact Petri nets' behaviors uniformly
- Reversibility and asymmetric conflict in event structures
- Title not available (Why is that?)
- Global and local choice functions
- A semantic framework for open processes
- Higher-order dynamics in event structures
- Simultaneity in event structures
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)