We review the development of the process algebra Timed CSP, from its inception nearly twenty years ago to very recent semantical and algorithmic developments.© 2006 Elsevier B.V. Open access under CC BY-NC-ND license
There has recently been significant progress in the development of timed process algebras for the sp...
Abstract. CSP++ is an open-source code synthesis tool consisting of a translator for a subset of CSP...
this paper we propose such a specification framework, which allows the specifier a choice of two lan...
AbstractThis paper is a comprehensive introduction to the language of Timed CSP, proposed by Reed an...
AbstractWe review the development of the process algebra Timed CSP, from its inception nearly twenty...
Submitted for D. Phil in Sep 1991SIGLEAvailable from British Library Document Supply Centre- DSC:762...
Abstract. In previous work the authors investigated the inconsistencies of how suc-cessful terminati...
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 ...
AbstractAn operational semantics is defined for the language of timed CSP, in terms of two relations...
A process whose correctness depends on its adherence to explicit timing constraints is a time depend...
. A number of process algebras for describing real-time behaviour have been proposed in recent year...
Abstract. CSP-OZ-DC is a new combination of three well researched formal techniques for the specific...
Process algebras, such as CCS [13], CSP [9], ACP [3] and others, are a well-established class of mod...
\u3cp\u3eWe treat theory and application of timed process algebra. We focus on a variant that uses e...
There has recently been significant progress in the development of timed process algebras for the sp...
Abstract. CSP++ is an open-source code synthesis tool consisting of a translator for a subset of CSP...
this paper we propose such a specification framework, which allows the specifier a choice of two lan...
AbstractThis paper is a comprehensive introduction to the language of Timed CSP, proposed by Reed an...
AbstractWe review the development of the process algebra Timed CSP, from its inception nearly twenty...
Submitted for D. Phil in Sep 1991SIGLEAvailable from British Library Document Supply Centre- DSC:762...
Abstract. In previous work the authors investigated the inconsistencies of how suc-cessful terminati...
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 ...
AbstractAn operational semantics is defined for the language of timed CSP, in terms of two relations...
A process whose correctness depends on its adherence to explicit timing constraints is a time depend...
. A number of process algebras for describing real-time behaviour have been proposed in recent year...
Abstract. CSP-OZ-DC is a new combination of three well researched formal techniques for the specific...
Process algebras, such as CCS [13], CSP [9], ACP [3] and others, are a well-established class of mod...
\u3cp\u3eWe treat theory and application of timed process algebra. We focus on a variant that uses e...
There has recently been significant progress in the development of timed process algebras for the sp...
Abstract. CSP++ is an open-source code synthesis tool consisting of a translator for a subset of CSP...
this paper we propose such a specification framework, which allows the specifier a choice of two lan...
DOI
Add to ORKG