AbstractA standard process algebra is extended by a new action σ which is meant to denote idling until the next clock cycle. A semantic theory based on testing is developed for the new language. This is characterised in terms of barbs, a variety of ready traces and also characterised as the initial theory generated by a set of equations
In [25] a straightforward extension of the process algebra μCRL was proposed to explicitly deal with...
In [25] a straightforward extension of the process algebra μCRL was proposed to explicitly deal with...
In [25] a straightforward extension of the process algebra μCRL was proposed to explicitly deal with...
AbstractA standard process algebra is extended by a new action σ which is meant to denote idling unt...
AbstractRecent approaches to the combination of process algebras and temporal logic have shown that ...
AbstractThe algebra of timed processes, ATP, uses a notion of discrete global time and suggests a co...
AbstractThe algebra of timed processes, ATP, uses a notion of discrete global time and suggests a co...
\u3cp\u3eWe treat theory and application of timed process algebra. We focus on a variant that uses e...
Rev. edSIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--5/91) / BL...
\u3cp\u3eIn [25] a straightforward extension of the process algebra μCRL was proposed to explicitly ...
AbstractIn ACP-style process algebra, the interpretation of a constant atomic action combines action...
In [25] a straightforward extension of the process algebra μCRL was proposed to explicitly deal with...
In ACP-style process algebra, the interpretation of a constant atomic action combines action executi...
In ACP-style process algebra, the interpretation of a constant atomic action combines action executi...
In ACP-style process algebra, the interpretation of a constant atomic action combines action executi...
In [25] a straightforward extension of the process algebra μCRL was proposed to explicitly deal with...
In [25] a straightforward extension of the process algebra μCRL was proposed to explicitly deal with...
In [25] a straightforward extension of the process algebra μCRL was proposed to explicitly deal with...
AbstractA standard process algebra is extended by a new action σ which is meant to denote idling unt...
AbstractRecent approaches to the combination of process algebras and temporal logic have shown that ...
AbstractThe algebra of timed processes, ATP, uses a notion of discrete global time and suggests a co...
AbstractThe algebra of timed processes, ATP, uses a notion of discrete global time and suggests a co...
\u3cp\u3eWe treat theory and application of timed process algebra. We focus on a variant that uses e...
Rev. edSIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--5/91) / BL...
\u3cp\u3eIn [25] a straightforward extension of the process algebra μCRL was proposed to explicitly ...
AbstractIn ACP-style process algebra, the interpretation of a constant atomic action combines action...
In [25] a straightforward extension of the process algebra μCRL was proposed to explicitly deal with...
In ACP-style process algebra, the interpretation of a constant atomic action combines action executi...
In ACP-style process algebra, the interpretation of a constant atomic action combines action executi...
In ACP-style process algebra, the interpretation of a constant atomic action combines action executi...
In [25] a straightforward extension of the process algebra μCRL was proposed to explicitly deal with...
In [25] a straightforward extension of the process algebra μCRL was proposed to explicitly deal with...
In [25] a straightforward extension of the process algebra μCRL was proposed to explicitly deal with...
DOI
Add to ORKG