AbstractCoordination languages and models promote the idea of separating computation and interaction aspects. As for traditional concurrency models, the question of safely replacing an agent by another one in any interacting context naturally appears. This paper proposes two tools to answer that question. On the one hand, a fully abstract semantics allows us to identify two processes which behave similarly in any context. On the other hand, a refinement theory allows us to compare processes that appear to be different in view of the fully abstract semantics but which satisfy the substitutability property: if the implementation I refines the specification S and if C[S] is deadlock free, for some context C, then C[I] is also deadlock free. Bo...
We develop a general framework for a variety of concurrent languages all b sed on a yn-chronous comm...
Abstract. Data refinement in a state-based language such as Z is defined using a relational model in...
Abstract. In opposition to the traditional approaches to reactive systems in which the atomicity of ...
AbstractCoordination languages and models promote the idea of separating computation and interaction...
We study an operator for refinement of actions to be used in the design of concurrent systems. Actio...
Data refinement as found in a state-based language such as Z or B, and refinement as defined in a pr...
International audienceData refinement in a state-based language such as Z is defined using a relatio...
A new class of models, formalisms and mechanisms has recently evolved for describing concurrent and ...
AbstractA theory of timewise refinement is presented. This allows the translation of specifications ...
A theory of timewise refinement is presented. This allows the translation of specifications and proo...
We study models of concurrency based on labelled transition systems where abstractions are induced b...
AbstractCoordination languages have been introduced since the early 80s as programming notations to ...
. A number of different coordination models for specifying inter-process communication and synchroni...
AbstractRefinement in a concurrent context, as typified by a process algebra, takes a number of diff...
AbstractMany different notions of “program property”, and many different methods of verifying such p...
We develop a general framework for a variety of concurrent languages all b sed on a yn-chronous comm...
Abstract. Data refinement in a state-based language such as Z is defined using a relational model in...
Abstract. In opposition to the traditional approaches to reactive systems in which the atomicity of ...
AbstractCoordination languages and models promote the idea of separating computation and interaction...
We study an operator for refinement of actions to be used in the design of concurrent systems. Actio...
Data refinement as found in a state-based language such as Z or B, and refinement as defined in a pr...
International audienceData refinement in a state-based language such as Z is defined using a relatio...
A new class of models, formalisms and mechanisms has recently evolved for describing concurrent and ...
AbstractA theory of timewise refinement is presented. This allows the translation of specifications ...
A theory of timewise refinement is presented. This allows the translation of specifications and proo...
We study models of concurrency based on labelled transition systems where abstractions are induced b...
AbstractCoordination languages have been introduced since the early 80s as programming notations to ...
. A number of different coordination models for specifying inter-process communication and synchroni...
AbstractRefinement in a concurrent context, as typified by a process algebra, takes a number of diff...
AbstractMany different notions of “program property”, and many different methods of verifying such p...
We develop a general framework for a variety of concurrent languages all b sed on a yn-chronous comm...
Abstract. Data refinement in a state-based language such as Z is defined using a relational model in...
Abstract. In opposition to the traditional approaches to reactive systems in which the atomicity of ...