Enhanced event structures: Towards a true concurrency semantics for E-LOTOS

2007 ◽  
Vol 29 (2) ◽  
pp. 205-215 ◽  
Author(s):  
M. Kapus-Kolar
Keyword(s):  
True Concurrency ◽  
Event Structures

scholarly journals Mechanized Theory of Event Structures: A Case of Parallel Register Machine

2021 ◽  
Vol 33 (3) ◽  
pp. 143-154
Author(s):  
Vladimir Gladstein ◽  
Dmitrii Mikhailovskii ◽  
Evgenii Moiseenko ◽  
Anton Trunov
Keyword(s):  
True Concurrency ◽  
Atomic Actions ◽  
Event Structures ◽  
The Coq Proof Assistant ◽  
Register Machine ◽  
Interleaving Semantics ◽  
Coq Proof Assistant ◽  
Concise Representation ◽  
The Individual ◽  
Semantics Of Concurrency

The true concurrency models, and in particular event structures, have been introduced in the 1980s as an alternative to operational interleaving semantics of concurrency, and nowadays they are regaining popularity. Event structures represent the causal dependency and conflict between the individual atomic actions of the system directly. This property leads to a more compact and concise representation of semantics. In this work-in-progress report, we present a theory of event structures mechanized in the COQ proof assistant and demonstrate how it can be applied to define certified executable semantics of a simple parallel register machine with shared memory.

The true concurrency of differential interaction nets

2016 ◽  
Vol 28 (7) ◽  
pp. 1097-1125 ◽  
Author(s):  
DAMIANO MAZZA
Keyword(s):  
Event Structure ◽  
Point Of View ◽  
Parallel Composition ◽  
Process Calculus ◽  
True Concurrency ◽  
Differential Interaction ◽  
Event Structures

We analyse the reduction of differential interaction nets from the point of view of so-called ‘true concurrency,’ that is, employing a non-interleaving model of parallelism. More precisely, we associate with each differential interaction net an event structure describing its reduction. We show how differential interaction nets are only able to generate confusion-free event structures, and we argue that this is a serious limitation in terms of the concurrent behaviours they may express. In fact, confusion is an extremely elementary phenomenon in concurrency (for example, it already appears in CCS with just prefixing and parallel composition) and we show how its presence is preserved by any encoding respecting the degree of distribution and the reduction semantics. We thus infer that no reasonably expressive process calculus may be satisfactorily encoded in differential interaction nets. We conclude with an analysis of one such encoding proposed by Ehrhard and Laurent, and argue that it does not contradict our claims, but rather supports them.

Modelling Nondeterministic Concurrent Processes with Event Structures

1991 ◽  
Vol 14 (1) ◽  
pp. 39-73
Author(s):  
Rita Loogen ◽  
Ursula Goltz
Keyword(s):  
Dynamic Behaviour ◽  
Partially Ordered Sets ◽  
Parallel Composition ◽  
Ordered Sets ◽  
Communicating Sequential Processes ◽  
Partially Ordered ◽  
Event Structures ◽  
Transition Relation ◽  
Concurrent Processes ◽  
Sequential Processes

We present a non-interleaving model for non deterministic concurrent processes that is based on labelled event structures. We define operators on labelled event structures like parallel composition, nondeterministic combination, choice, prefixing and hiding. These operators correspond to the operations of the “Theory of Communicating Sequential Processes” (TCSP). Infinite processes are defined using the metric approach. The dynamic behaviour of event structures is defined by a transition relation which describes the execution of partially ordered sets of actions, abstracting from internal events.

Time and Duration in Noninterleaving Concurrency

1993 ◽  
Vol 19 (3-4) ◽  
pp. 403-416
Author(s):  
David Murphy
Keyword(s):  
Partial Order ◽  
Independent Interest ◽  
Underlying Event ◽  
Strict Partial Order ◽  
Event Structures ◽  
Concurrency Theory ◽  
Finite Structures

The purpose of this paper is to present a real-timed concurrency theory in the noninterleaving tradition. The theory is based on the occurrences of actions; each occurrence or event has a start and a finish. Causality is modelled by assigning a strict partial order to these starts and finishes, while timing is modelled by giving them reals. The theory is presented in some detail. All of the traditional notions found in concurrency theories (such as conflict, confusion, liveness, and so on) are found to be expressible. Four notions of causality arise naturally from the model, leading to notions of securing. Three of the notions give rise to underlying event structures, demonstrating that our model generalises Winskel’s. Infinite structures are then analysed: a poset of finite structures is defined and suitably completed to give one containing infinite structures. These infinite structures are characterised as just those arising as limits of finite ones. Our technique here, which relies on the structure of time, is of independent interest.

scholarly journals Cognitive restructuring in the multilingual mind: language-specific effects on processing efficiency of caused motion events in Cantonese–English–Japanese speakers

2021 ◽  
pp. 1-16
Author(s):  
Yi Wang ◽  
Li Wei
Keyword(s):  
Decision Making ◽  
Language Contact ◽  
Cognitive Restructuring ◽  
Target Language ◽  
Decision Making Process ◽  
Processing Efficiency ◽  
Positive Evidence ◽  
Specific Effects ◽  
Event Structures ◽  
Thinking For Speaking

Abstract The current study explores how multilingual speakers with three typologically different languages (satellite-framed, verb-framed and equipollent-framed) encode and gauge event similarity in the domain of caused motion. Specifically, it addresses whether, and to what extent, the acquisition of an L2-English and an L3-Japanese reconstructs the lexicalization and conceptualization patterns established in the L1-Cantonese when the target language is actively involved in the decision-making process. Results show that multilingual speakers demonstrated an ongoing process of cognitive restructuring towards the target language (L3) in both linguistic encoding (event structures and semantic representations) and non-linguistic conceptualization (reaction time). And the degree of the restructuring is modulated by the amount of language contact with the L2 and L3. The study suggests that learning a language means internalizing a new way of thinking and provides positive evidence for L3-biased cognitive restructuring within the framework of thinking-for-speaking.

scholarly journals Transition-Systems, Event Structures, and Unfoldings

1995 ◽  
Vol 118 (2) ◽  
pp. 191-207 ◽  
Author(s):  
M. Nielsen ◽  
G. Rozenberg ◽  
P.S. Thiagarajan
Keyword(s):  
Transition Systems ◽  
Event Structures

A Logic for True Concurrency

2014 ◽  
Vol 61 (4) ◽  
pp. 1-36 ◽  
Author(s):  
Paolo Baldan ◽  
Silvia Crafa
Keyword(s):  
True Concurrency

A Compositional Semantics for Timed Petri Nets1

1990 ◽  
Vol 13 (2) ◽  
pp. 141-170
Author(s):  
Andrea Maggiolo-Schettini ◽  
Józef Winkowski
Keyword(s):  
Petri Nets ◽  
Compositional Semantics ◽  
Timed Petri Nets ◽  
Event Structures ◽  
Configuration Systems

Timed Petri nets and their behaviours are considered. A concept of a seminet is introduced. which generalizes the concept of a net, and suitable operations on seminets are defined, which allow constructing seminets from atoms corresponding to places and transitions. The behaviours of seminets are given in the form of so called configuration systems, a notion close to labelled event structures. Such behaviours can be combined with the aid of operations corresponding to those on seminets. In particular, the behaviour of a compound seminet can be obtained by combining the behaviours of components.

Sign in / Sign up

Export Citation Format

Share Document