Add to ORKGSIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--1/93) / BLDSC - British Library Document Supply CentreGBUnited Kingdo
An extension of Milner's CCS is presented. The language takes into account a number of resourc...
This paper presents a general technique for obtaining new results pertaining to the non-finite axiom...
In this paper, we describe how can we use equations to specify the behavour of concurrent processes
SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--4/87) / BLDSC - B...
SIGLEAvailable from British Library Document Supply Centre- DSC:4335.26205(HPL--91-130) / BLDSC - Br...
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equiva...
AbstractThis paper illustrates how early ideas and simple naive concepts of concurrency theory of th...
Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for...
SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...
SIGLEAvailable from British Library Document Supply Centre- DSC:8671.220(PRG--52) / BLDSC - British ...
This paper studies the existence of finite equational axiomatisations of the interleaving parallel c...
SIGLEAvailable from British Library Document Supply Centre- DSC:D81408 / BLDSC - British Library Doc...
Van Glabbeek (1990) presented the linear time-branching time spectrum of behavioral equivalences for...
We present a formalism to handle finite state concurrent systems in a mechanical way. In such a form...
SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--6/90) / BLDSC - B...
An extension of Milner's CCS is presented. The language takes into account a number of resourc...
This paper presents a general technique for obtaining new results pertaining to the non-finite axiom...
In this paper, we describe how can we use equations to specify the behavour of concurrent processes
SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--4/87) / BLDSC - B...
SIGLEAvailable from British Library Document Supply Centre- DSC:4335.26205(HPL--91-130) / BLDSC - Br...
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equiva...
AbstractThis paper illustrates how early ideas and simple naive concepts of concurrency theory of th...
Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for...
SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...
SIGLEAvailable from British Library Document Supply Centre- DSC:8671.220(PRG--52) / BLDSC - British ...
This paper studies the existence of finite equational axiomatisations of the interleaving parallel c...
SIGLEAvailable from British Library Document Supply Centre- DSC:D81408 / BLDSC - British Library Doc...
Van Glabbeek (1990) presented the linear time-branching time spectrum of behavioral equivalences for...
We present a formalism to handle finite state concurrent systems in a mechanical way. In such a form...
SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--6/90) / BLDSC - B...
An extension of Milner's CCS is presented. The language takes into account a number of resourc...
This paper presents a general technique for obtaining new results pertaining to the non-finite axiom...
In this paper, we describe how can we use equations to specify the behavour of concurrent processes