A new operational representation of dependencies in Event Structures
The execution of an event in a complex and distributed system where the dependencies vary during the evolution of the system can be represented in many ways, and one of them is to use Context-Dependent Event structures. Event structures are related to Petri nets. The aim of this paper is to propose...
Main Author: | G. Michele Pinna |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2021-12-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/6950/pdf |
Similar Items
-
Representing Dependencies in Event Structures
by: G. Michele Pinna
Published: (2020-05-01) -
Domain Representable Spaces Defined by Strictly Positive Induction
by: Petter Kristian Køber
Published: (2010-08-01) -
Event Structures for Petri nets with Persistence
by: Paolo Baldan, et al.
Published: (2018-09-01) -
Closed Sets and Operators thereon: Representations, Computability and Complexity
by: Carsten Rösnick-Neugebauer
Published: (2018-04-01) -
Dynamic Dependency Pairs for Algebraic Functional Systems
by: Cynthia Kop, et al.
Published: (2012-06-01)