Results 261 to 270 of about 424,581 (304)
Operational Representation of Dependencies in Context-Dependent Event Structures [PDF]
Lecture Notes in Computer Science, 2020 G Michele Pinna, Pinna G Michele
exaly +1 more source
Reversible Occurrence Nets and Causal Reversible Prime Event Structures [PDF]
Lecture Notes in Computer Science, 2020 Claudio Antares Mezzina +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 +1 more source
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 +1 more source
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 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