Searching for "Asynchronous sequential processes." – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
Asynchronous Sequential Processes
- … AUTOMATIQUE Asynchronous Sequential Processes Denis Caromel --- Ludovic Henrio --- Bernard Serpette N 4753…
- Add To MetaCart
-
Asynchronous and Deterministic Objects
- … in the design of an appropriate concurrent object calculus (ASP, Asynchronous Sequential Processes). From a more…
- Add To MetaCart
-
Caromel 1 Denis
- …, Futures, Mobility 2. Demo: C3D and IC2D 3. ASP: Asynchronous Sequential Processes An Imperative…
- Add To MetaCart
-
On Describing the Behavior and Implementation of Distributed Systems
- … process representing a "channel." Process executions are considered to be completely asynchronous…
- Cited by 44 (13 self) – Add To MetaCart
-
Faster Approximate Agreement with Multi-Writer Registers
- … are performed by a collection p 1 ; : : : ; p n of n deterministic asynchronous sequential processes…
- Cited by 5 (1 self) – Add To MetaCart
-
Model Checking Multi-Agent Web Services
- … of asynchronous sequential processes (or agents), and both assume that communication is performed via message…
- Add To MetaCart
-
Model Checking Agent Dialogues
- … of asynchronous sequential processes (or agents), and both assume that communication is performed via message…
- Add To MetaCart
-
Language and library support for practical PRAM programming
- …, strictly synchronous execution, farming, asynchronous sequential processes including parallel critical…
- Cited by 2 (0 self) – Add To MetaCart
-
A Highly Dependable Computing Architecture for Safety-Critical Control Applications
- … to co-ordinate the processing of function block instances which are regarded as asynchronous sequential…
- Cited by 5 (2 self) – Add To MetaCart
-
Classification of Software Defects in Parallel Programs
- … communicating asynchronous sequential processes [20]. We model programs by their control flow graphs [11…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
