Results 241 to 250 of about 5,530,700 (284)
Operational Representation of Dependencies in Context-Dependent Event Structures [PDF]
Lecture Notes in Computer Science, 2020 G Michele Pinna
exaly +1 more source
Reversible Occurrence Nets and Causal Reversible Prime Event Structures [PDF]
Lecture Notes in Computer Science, 2020 Iain Phillips +2 more
exaly +1 more source
Circular Causality in Event Structures [PDF]
Fundamenta Informaticae, 2014 We propose a model of events with circular causality, in the form of a conservative extension of Winskel's event structures. We study the relations between this new kind of event structures and Propositional Contract Logic. Provable atoms in the logic correspond to reachable events in our event structures.
Massimo Bartoletti +3 more
openaire +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Proceedings of the 2006 ACM symposium on Applied computing, 2006
A notion of symmetry for event structures is defined, which are based on permutation groups. Given an event structure and a permutation group over it, we introduce the quotient model of the event structure and show that the quotient model is trace, bisimulation and pomset equivalent to the original event structure.
Jianmin Jiang, Jinzhao Wu, Donghuo Chen
openaire +2 more sources
A notion of symmetry for event structures is defined, which are based on permutation groups. Given an event structure and a permutation group over it, we introduce the quotient model of the event structure and show that the quotient model is trace, bisimulation and pomset equivalent to the original event structure.
Jianmin Jiang, Jinzhao Wu, Donghuo Chen
openaire +2 more sources
Simultaneity in Event Structures
2010Various brand of event structures, prime, bundle, flow, asymmetric, inhibitor just to mention some, have been proposed to face the various kinds of causality and conflict arising in computation The notion of simultaneity, i.e., the faithful representation that certain events have to occur together, is usually left out from the models for concurrent ...
G. Michele Pinna, Andrea Saba
openaire +1 more source
The Syntax of Event Structure*
Cognition, 1991Abstract Recent work in linguistic theory has stressed the important role that structured lexical representations can play in natural language, for example, the emergence of argument structure as a distinct level of representation (Grimshaw, 1990; Williams, 1981) and the importance of semantic representations such as f-structure ...
openaire +2 more sources
Event Structures for Arbitrary Disruption
Fundamenta Informaticae, 2005In process algebras that allow for some form of disruption, it is important to state when a process terminates. One option is to include a termination action √. Another approach is that the 'final' executed action of a process terminates the process. The semantics of the former approach has been investigated in the literature in detail, e.g.
Majster-Cederbaum, Mila, Fecher, Harald
openaire +4 more sources
Event Structure and Event Types
2021In this chapter, I will firstly discuss the ontological situation types proposed by Vendler (Philos Rev 143–160, 1957). and then give a detailed description of how situation aspect and viewpoint aspect are combined to form different linguistic event types (abb. event types).
openaire +1 more source