Add to ORKGIn this paper we investigate the expressive power of implicit specifications of concurrent systems. That is, we consider specifications S which do not specify a system P directly, but rather the system in combination with a given environment. Process algebr a provides aal elegant way to represent such environment formally as contexts. Thus an implicit specification of a system P can be formulated as
AbstractA problem of concurrent system specification is studied. A functionally equivalent system is...
Formal specification can play an important role in the design, development, and maintenance of concu...
Traditional methods for programming sequential machines are inadequate for specifying parallel syste...
AbstractIn this paper we investigate the expressive power of implicit specifications of concurrent s...
AbstractThis article presents an extension of the formalism of algebraic specifications to the speci...
By abstracting away from a particular specification language and considering a 'specification' to be...
International audienceAll software systems execute within an environment or context. Reasoning about...
International audienceWith the advent of parallel architectures, distributed programs are used inten...
AbstractThis paper proposes a constructive logic in which a concurrent system can be defined as a pr...
This paper proposes a definition of what it means for one system description language to encode anot...
AbstractIn recent years several equivalences between nondeterministic and concurrent processes have ...
A technique for specifying concurrent systems is shown, that uses the algebraic specification langua...
The semantics expressed intuitively as 'execute as much as possible in parallel' is formally defined...
In contrast to a transition system specification in process algebra, a structural operational semant...
This paper presents a method of formally specifying concurrent systems which uses the object-oriente...
AbstractA problem of concurrent system specification is studied. A functionally equivalent system is...
Formal specification can play an important role in the design, development, and maintenance of concu...
Traditional methods for programming sequential machines are inadequate for specifying parallel syste...
AbstractIn this paper we investigate the expressive power of implicit specifications of concurrent s...
AbstractThis article presents an extension of the formalism of algebraic specifications to the speci...
By abstracting away from a particular specification language and considering a 'specification' to be...
International audienceAll software systems execute within an environment or context. Reasoning about...
International audienceWith the advent of parallel architectures, distributed programs are used inten...
AbstractThis paper proposes a constructive logic in which a concurrent system can be defined as a pr...
This paper proposes a definition of what it means for one system description language to encode anot...
AbstractIn recent years several equivalences between nondeterministic and concurrent processes have ...
A technique for specifying concurrent systems is shown, that uses the algebraic specification langua...
The semantics expressed intuitively as 'execute as much as possible in parallel' is formally defined...
In contrast to a transition system specification in process algebra, a structural operational semant...
This paper presents a method of formally specifying concurrent systems which uses the object-oriente...
AbstractA problem of concurrent system specification is studied. A functionally equivalent system is...
Formal specification can play an important role in the design, development, and maintenance of concu...
Traditional methods for programming sequential machines are inadequate for specifying parallel syste...