Event structures for the reversible early internal π-calculus

2021 ◽  
pp. 100720
Author(s):  
Eva Graversen ◽  
Iain Phillips ◽  
Nobuko Yoshida
Keyword(s):  
Event Structures ◽  
Π Calculus

scholarly journals Probabilistic π-Calculus and Event Structures

2007 ◽  
Vol 190 (3) ◽  
pp. 147-166 ◽  
Author(s):  
Daniele Varacca ◽  
Nobuko Yoshida
Keyword(s):  
Event Structures ◽  
Π Calculus

scholarly journals Typed Event Structures and the π-Calculus

2006 ◽  
Vol 158 ◽  
pp. 373-397 ◽  
Author(s):  
Daniele Varacca ◽  
Nobuko Yoshida
Keyword(s):  
Event Structures ◽  
Π Calculus

A Study on the Word Event Structures for Korean Language Education

2019 ◽  
Vol 9 (2) ◽  
pp. 91-106
Author(s):  
Chang Hyun Woo
Keyword(s):  
Language Education ◽  
Korean Language ◽  
Event Structures

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.

scholarly journals On Polymorphic Sessions and Functions

2021 ◽  
Vol 43 (2) ◽  
pp. 1-55
Author(s):  
Bernardo Toninho ◽  
Nobuko Yoshida
Keyword(s):  
Natural Deduction ◽  
Sequent Calculus ◽  
Linear Logic ◽  
Linear Formulation ◽  
Session Types ◽  
Logical Foundation ◽  
Π Calculus ◽  
Soundness And Completeness ◽  
System F ◽  
Algebraic Representations

This work exploits the logical foundation of session types to determine what kind of type discipline for the Λ-calculus can exactly capture, and is captured by, Λ-calculus behaviours. Leveraging the proof theoretic content of the soundness and completeness of sequent calculus and natural deduction presentations of linear logic, we develop the first mutually inverse and fully abstract processes-as-functions and functions-as-processes encodings between a polymorphic session π-calculus and a linear formulation of System F. We are then able to derive results of the session calculus from the theory of the Λ-calculus: (1) we obtain a characterisation of inductive and coinductive session types via their algebraic representations in System F; and (2) we extend our results to account for value and process passing, entailing strong normalisation.

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 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