Formal Justification of a Proof System for Communicating Sequential Processes

1983 ◽  
Vol 30 (1) ◽  
pp. 197-216 ◽  
Author(s):  
Krzysztof R. Apt
Keyword(s):  
Proof System ◽  
Communicating Sequential Processes ◽  
Sequential Processes

scholarly journals A Proof System for Communicating Sequential Processes

1980 ◽  
Vol 2 (3) ◽  
pp. 359-385 ◽  
Author(s):  
Krzysztof R. Apt ◽  
Nissim Francez ◽  
Willem P. de Roever
Keyword(s):  
Proof System ◽  
Communicating Sequential Processes ◽  
Sequential Processes

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.

Communicating sequential processes for distributed constraint satisfaction

2006 ◽  
Vol 176 (5) ◽  
pp. 490-521 ◽  
Author(s):  
Ilias Sakellariou ◽  
Ioannis Vlahavas ◽  
Ivan Futo ◽  
Zoltan Pasztor ◽  
Janos Szeredi
Keyword(s):  
Constraint Satisfaction ◽  
Communicating Sequential Processes ◽  
Distributed Constraint Satisfaction ◽  
Sequential Processes
Sign in / Sign up

Export Citation Format

Share Document