Add to ORKGWe develop an algebraic theory for the top-down design of communicating systems in which levels of abstraction are represented by algebras, and their stepwise refinements are represented by homomorphisms. Particular attention is paid to the equational specification of these levels of abstraction. A number of examples are included for illustration, most notably a top-down design for a communication protocol
AbstractWe present the π-calculus, a calculus of communicating systems in which one can naturally ex...
The use of hierarchical abstractions allows processing at an abstract level so that the complexity o...
AbstractIn process algebras like μCRL and ACP communication is defined globally. In the context of c...
AbstractWe develop an algebraic theory for the top-down design of communicating systems in which lev...
Abstract. The design productivity gap has been recognized by the semiconductor industry as one of th...
Process algebra is a widely accepted and much used technique in the specification and verification o...
We study the expressive power of different algebraic specification methods. In contrast to (nonhier...
Within the context of an algebraic theory of processes, an equational specification of process coope...
Within the context of an algebraic theory of processes, an equational specification of process coop...
We investigate criteria to relate specifications and implementations belonging to conceptually diffe...
A process language is presented which makes a clear distinction between temporal order and causal or...
Central to theories of concurrency is the notion of abstraction. Abstraction from internal actions i...
AbstractA language for defining fair asynchronous communicating processes is given. The main operato...
AbstractA calculus of higher order communicating systems (CHOCS) was presented by the author in ["Pr...
textabstractThis paper presents a new semantics of ACPτ, the Algebra of Communicating Processes with...
AbstractWe present the π-calculus, a calculus of communicating systems in which one can naturally ex...
The use of hierarchical abstractions allows processing at an abstract level so that the complexity o...
AbstractIn process algebras like μCRL and ACP communication is defined globally. In the context of c...
AbstractWe develop an algebraic theory for the top-down design of communicating systems in which lev...
Abstract. The design productivity gap has been recognized by the semiconductor industry as one of th...
Process algebra is a widely accepted and much used technique in the specification and verification o...
We study the expressive power of different algebraic specification methods. In contrast to (nonhier...
Within the context of an algebraic theory of processes, an equational specification of process coope...
Within the context of an algebraic theory of processes, an equational specification of process coop...
We investigate criteria to relate specifications and implementations belonging to conceptually diffe...
A process language is presented which makes a clear distinction between temporal order and causal or...
Central to theories of concurrency is the notion of abstraction. Abstraction from internal actions i...
AbstractA language for defining fair asynchronous communicating processes is given. The main operato...
AbstractA calculus of higher order communicating systems (CHOCS) was presented by the author in ["Pr...
textabstractThis paper presents a new semantics of ACPτ, the Algebra of Communicating Processes with...
AbstractWe present the π-calculus, a calculus of communicating systems in which one can naturally ex...
The use of hierarchical abstractions allows processing at an abstract level so that the complexity o...
AbstractIn process algebras like μCRL and ACP communication is defined globally. In the context of c...