Process algebra for timed systems

Proces algebra

Baeten, J.C.M.

January 1986

Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...

A brief history of process algebra

Baeten, J.C.M.

May 2005

AbstractThis note addresses the history of process algebra as an area of research in concurrency the...

PAM A process algebra manipulator

Lin, H
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--2/91) / BLDSC - B...

A process algebra for timed systems

Hennessy, M.
Regan, T
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1992

Rev. edSIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--5/91) / BL...

A temporal process algebra

Hennessy, M.
Regan, T
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--2/90) / BLDSC - B...

Timing and causality in process algebra

Aceto, L.
Murphy, D
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-SCCS-R--9/93) / BLDSC -...

A typed prioritized process algebra

Jeffrey, A
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--13/93) / BLDSC - ...

Priorities in process algebras

Cleaveland, R.
Hennessey, M
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--2/88) / BLDSC - B...

Proof systems for message-passing process algebras

Hennessy, M.
Lin, H
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(5/93) / BLDSC - British Li...

Combining interaction and automation in process algebra verification

Camilleri, A.
Inverardi, P.
Nesi, M
Hewlett-Packard Laboratories, Bristol (United Kingdom)

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:4335.26205(HPL--91-13) / BLDSC - Bri...

Deciding equivalences in simple process algebras

Hirshfeld, Y
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--94-294) / BLDSC ...

Timed CSP: a retrospective

Ouaknine , Joël
Schneider, Steve

September 2006

We review the development of the process algebra Timed CSP, from its inception nearly twenty years a...

A formalization of the process algebra CCS in higher order logic

Nesi, M
Cambridge Univ. (United Kingdom). Computer Lab

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--278) / BLDSC - Br...

Process algebra approach to parallel DBMS performance modelling

Pua, C.S.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN028526 / BLDSC - British Library D...

Algebraic specification and proof of properties of communicating sequential processes

Hoare, C.A.R.
Jifeng, H
Oxford Univ. (United Kingdom). Programming Research Group

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:8671.220(PRG--52) / BLDSC - British ...

Proces algebra

Baeten, J.C.M.

January 1986

Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...

A brief history of process algebra

Baeten, J.C.M.

May 2005

AbstractThis note addresses the history of process algebra as an area of research in concurrency the...

PAM A process algebra manipulator

Lin, H
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--2/91) / BLDSC - B...

A process algebra for timed systems

Hennessy, M.
Regan, T
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1992

Rev. edSIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--5/91) / BL...

A temporal process algebra

Hennessy, M.
Regan, T
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--2/90) / BLDSC - B...

Timing and causality in process algebra

Aceto, L.
Murphy, D
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-SCCS-R--9/93) / BLDSC -...

A typed prioritized process algebra

Jeffrey, A
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--13/93) / BLDSC - ...

Priorities in process algebras

Cleaveland, R.
Hennessey, M
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--2/88) / BLDSC - B...

Proof systems for message-passing process algebras

Hennessy, M.
Lin, H
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(5/93) / BLDSC - British Li...

Combining interaction and automation in process algebra verification

Camilleri, A.
Inverardi, P.
Nesi, M
Hewlett-Packard Laboratories, Bristol (United Kingdom)

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:4335.26205(HPL--91-13) / BLDSC - Bri...

Deciding equivalences in simple process algebras

Hirshfeld, Y
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--94-294) / BLDSC ...

Timed CSP: a retrospective

Ouaknine , Joël
Schneider, Steve

September 2006

We review the development of the process algebra Timed CSP, from its inception nearly twenty years a...

A formalization of the process algebra CCS in higher order logic

Nesi, M
Cambridge Univ. (United Kingdom). Computer Lab

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--278) / BLDSC - Br...

Process algebra approach to parallel DBMS performance modelling

Pua, C.S.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN028526 / BLDSC - British Library D...

Algebraic specification and proof of properties of communicating sequential processes

Hoare, C.A.R.
Jifeng, H
Oxford Univ. (United Kingdom). Programming Research Group

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:8671.220(PRG--52) / BLDSC - British ...

Proces algebra

Baeten, J.C.M.

January 1986

Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...

A brief history of process algebra

Baeten, J.C.M.

May 2005

AbstractThis note addresses the history of process algebra as an area of research in concurrency the...

PAM A process algebra manipulator

Lin, H
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--2/91) / BLDSC - B...

Process algebra for timed systems

Abstract

Extracted data

Process algebra for timed systems

Abstract

Extracted data

Related items

Related items