We illustrate the difference between sequential composition in process algebra axiomatisations like ACP and action prefixing in process calculi like CCS. We define both early and late input in a general framework extending ACP, and consider various subalgebras, some very close to value passing CCS, another one close to CSP
This paper presents a first attempt to formulate a process calculus featuring process creation and s...
In Vrancken (1986), the empty process epsilon was added to the algebra of communicating processes of...
In Vrancken (1986), the empty process epsilon was added to the algebra of communicating processes of...
We illustrate the difference between sequential composition in process algebra axiomatisations like ...
We illustrate the difference between sequential composition in process algebra axiomatisations like ...
We illustrate the difference between sequential composition in process algebra axiomatisations like ...
We illustrate the difference between sequential composition in process algebra axiomatisations like...
The authors describe an axiom system ACP rho that incorporates real timed actions. Many examples are...
The authors describe an axiom system ACP rho that incorporates real timed actions. Many examples are...
A mechanism is introduced to describe priorities in ACP, the algebra of communicating processes, whe...
. This paper presents ACBS, Algebra of Broadcasting Systems, a process calculus characterised by val...
This paper presents the underlying theory for a process calculus featuring process creation and sequ...
A mechanism is introduced to describe priorities in ACP, the algebra of communicating processes, whe...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
This paper presents a first attempt to formulate a process calculus featuring process creation and s...
In Vrancken (1986), the empty process epsilon was added to the algebra of communicating processes of...
In Vrancken (1986), the empty process epsilon was added to the algebra of communicating processes of...
We illustrate the difference between sequential composition in process algebra axiomatisations like ...
We illustrate the difference between sequential composition in process algebra axiomatisations like ...
We illustrate the difference between sequential composition in process algebra axiomatisations like ...
We illustrate the difference between sequential composition in process algebra axiomatisations like...
The authors describe an axiom system ACP rho that incorporates real timed actions. Many examples are...
The authors describe an axiom system ACP rho that incorporates real timed actions. Many examples are...
A mechanism is introduced to describe priorities in ACP, the algebra of communicating processes, whe...
. This paper presents ACBS, Algebra of Broadcasting Systems, a process calculus characterised by val...
This paper presents the underlying theory for a process calculus featuring process creation and sequ...
A mechanism is introduced to describe priorities in ACP, the algebra of communicating processes, whe...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
This paper presents a first attempt to formulate a process calculus featuring process creation and s...
In Vrancken (1986), the empty process epsilon was added to the algebra of communicating processes of...
In Vrancken (1986), the empty process epsilon was added to the algebra of communicating processes of...
DOI
Add to ORKG