Add to ORKGWe define a categorical characterization of refinement and show that refinement definitions for various models of concurrency can be captured be our view
This paper aims to give a readable and reasonably accessible account of some ideas linking the curre...
For systems of sequential agents the fundamental relations between events -causality and conflict - ...
Abstract ory of concurrency; the symbol; represents We present a simple process algebra which suppor...
We define a categorical characterization of refinement and show that refinement definitions for vari...
AbstractRefinement of actions allows one to design systems in a top-down style, changing the level o...
Two problems on action refinement are considered: First we treat the problem that there may exist co...
The semantic definition of action refinement on labelled event structures is compared with the notio...
AbstractThe semantic definition of action refinement on labelled configuration structures is compare...
We study an operator for refinement of actions to be used in the design of concurrent systems. Actio...
The semantic definition of action refinement on labelled configuration structures is compared with t...
Action refinement is a useful methodology for the development of concurrent processes in a stepwise ...
AbstractIn this paper we present a Process Algebra for the specification of concurrent, communicatin...
For a process language with action refinement and synchronization both an operational and a denotati...
Data refinement as found in a state-based language such as Z or B, and refinement as defined in a pr...
To help make refinement more usable in practice we introduce a general, flexible model of refinement...
This paper aims to give a readable and reasonably accessible account of some ideas linking the curre...
For systems of sequential agents the fundamental relations between events -causality and conflict - ...
Abstract ory of concurrency; the symbol; represents We present a simple process algebra which suppor...
We define a categorical characterization of refinement and show that refinement definitions for vari...
AbstractRefinement of actions allows one to design systems in a top-down style, changing the level o...
Two problems on action refinement are considered: First we treat the problem that there may exist co...
The semantic definition of action refinement on labelled event structures is compared with the notio...
AbstractThe semantic definition of action refinement on labelled configuration structures is compare...
We study an operator for refinement of actions to be used in the design of concurrent systems. Actio...
The semantic definition of action refinement on labelled configuration structures is compared with t...
Action refinement is a useful methodology for the development of concurrent processes in a stepwise ...
AbstractIn this paper we present a Process Algebra for the specification of concurrent, communicatin...
For a process language with action refinement and synchronization both an operational and a denotati...
Data refinement as found in a state-based language such as Z or B, and refinement as defined in a pr...
To help make refinement more usable in practice we introduce a general, flexible model of refinement...
This paper aims to give a readable and reasonably accessible account of some ideas linking the curre...
For systems of sequential agents the fundamental relations between events -causality and conflict - ...
Abstract ory of concurrency; the symbol; represents We present a simple process algebra which suppor...