Low Runtime-Overhead Software Synthesis for Communicating Concurrent Processes

2007 ◽  
Author(s):  
Youngchul Cho ◽  
Nacer-Eddine Zergainoh ◽  
Kiyoung Choi ◽  
Ahmed A. Jerraya
Keyword(s):  
Software Synthesis ◽  
Concurrent 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.

Synchronization of asynchronous concurrent processes using cellular automata

1989 ◽  
Vol 11 (2) ◽  
pp. 163-169
Author(s):  
E Adamides ◽  
Ph Tsalides ◽  
A Thanailakis
Keyword(s):  
Cellular Automata ◽  
Concurrent Processes

Implementing option-pricing models using software synthesis

1999 ◽  
Vol 1 (6) ◽  
pp. 54-64 ◽  
Author(s):  
J. Gatheral ◽  
Y. Epelbaum ◽  
Jining Han ◽  
K. Laud ◽  
O. Lubovitsky ◽  
...  
Keyword(s):  
Option Pricing ◽  
Pricing Models ◽  
Software Synthesis

Concurrent Processes

1998 ◽  
pp. 81-114
Author(s):  
Donald E. Thomas ◽  
Philip R. Moorby
Keyword(s):  
Concurrent Processes

scholarly journals A Method of Software Synthesis for Interlocking in Railway Signalling using Safe PLC (Programmable Logic Controller)

2000 ◽  
Vol 120 (1) ◽  
pp. 88-95
Author(s):  
Ikumasa Okumura ◽  
Toshikatsu Watanabe ◽  
Noboru Itoh ◽  
Ritsuo Mihira ◽  
Manfred Shumacher
Keyword(s):  
Programmable Logic Controller ◽  
Programmable Logic ◽  
Software Synthesis ◽  
Railway Signalling
Sign in / Sign up

Export Citation Format

Share Document