Results 261 to 270 of about 731,022 (305)
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
The progressive and the structure of events
Journal of Semantics, 1997In the analysis of the progressive proposed in the paper, two notions play a crucial role. On the one hand, since the same event can be 'embedded' into several possible developments that are relevant to the truth-conditions of the progressive, a first task of the analysis is to account for the part-of relation which connects an event with its possible ...
openaire +1 more source
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