An algebraic theory of fair asynchronous communicating processes

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...

A practical theory of communication

Mullarkey, W.J
In collaboration with DB Electronics Ltd

January 1993

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

About fair asynchrony

Darondeau, Philippe

December 1985

AbstractThis paper examines the joint influence of fairness and asynchrony on the semantic modelling...

A mathematical theory of communicating processes

Roscoe, A.W.

January 1982

SIGLELD:D45854/83 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

A mathematical theory of synchronous communication

Barnes, J.E

January 1993

Available from British Library Document Supply Centre- DSC:D174458 / BLDSC - British Library Documen...

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 ...

An algebraic theory of fair asynchronous communicating processes

Hennessy, Matthew

December 1987

AbstractA language for defining fair asynchronous communicating processes is given. The main operato...

A theory of fairness, competition and cooperation

Schmidt, K.M.
Fehr, E.
Centre for Economic Policy Research, London (United Kingdom)

January 1998

Available from British Library Document Supply Centre-DSC:3597.9512(1812) / BLDSC - British Library ...

A mathematical theory of synchronous concurrent algorithms

Thompson, B.C

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:D81408 / BLDSC - British Library Doc...

A fair calculus of communicating systems

Costa, G.
Stirling, C
Edinburgh Univ. (United Kingdom). Dept. of Computer Science

January 1983

SIGLEAvailable from British Library Lending Division - LD:4534.9203(CSR--137-83) / BLDSC - British L...

On the algebraic theories and computations of amicable numbers

Yan, S.Y

January 1995

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

Asynchronous communication in real space process algebra

Baeten, J.C.M.
Bergstra, J.A.

January 1991

A version of classical real space process algebra is given in which messages travel with constant sp...

Top-down design and the algebra of communicating processes

Bergstra, J.A.
Tucker, J.V
Leeds Univ. (United Kingdom). Dept. of Computer Studies

January 1983

SIGLEAvailable from British Library Lending Division - LD:7621.07(181) / BLDSC - British Library Doc...

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 unified approach to the study of asynchronous communication mechanisms in real-time systems

Clark, I.G.

January 2000

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

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...

A practical theory of communication

Mullarkey, W.J
In collaboration with DB Electronics Ltd

January 1993

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

About fair asynchrony

Darondeau, Philippe

December 1985

AbstractThis paper examines the joint influence of fairness and asynchrony on the semantic modelling...

A mathematical theory of communicating processes

Roscoe, A.W.

January 1982

SIGLELD:D45854/83 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

A mathematical theory of synchronous communication

Barnes, J.E

January 1993

Available from British Library Document Supply Centre- DSC:D174458 / BLDSC - British Library Documen...

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 ...

An algebraic theory of fair asynchronous communicating processes

Hennessy, Matthew

December 1987

AbstractA language for defining fair asynchronous communicating processes is given. The main operato...

A theory of fairness, competition and cooperation

Schmidt, K.M.
Fehr, E.
Centre for Economic Policy Research, London (United Kingdom)

January 1998

Available from British Library Document Supply Centre-DSC:3597.9512(1812) / BLDSC - British Library ...

A mathematical theory of synchronous concurrent algorithms

Thompson, B.C

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:D81408 / BLDSC - British Library Doc...

A fair calculus of communicating systems

Costa, G.
Stirling, C
Edinburgh Univ. (United Kingdom). Dept. of Computer Science

January 1983

SIGLEAvailable from British Library Lending Division - LD:4534.9203(CSR--137-83) / BLDSC - British L...

On the algebraic theories and computations of amicable numbers

Yan, S.Y

January 1995

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

Asynchronous communication in real space process algebra

Baeten, J.C.M.
Bergstra, J.A.

January 1991

A version of classical real space process algebra is given in which messages travel with constant sp...

Top-down design and the algebra of communicating processes

Bergstra, J.A.
Tucker, J.V
Leeds Univ. (United Kingdom). Dept. of Computer Studies

January 1983

SIGLEAvailable from British Library Lending Division - LD:7621.07(181) / BLDSC - British Library Doc...

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 unified approach to the study of asynchronous communication mechanisms in real-time systems

Clark, I.G.

January 2000

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

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...

A practical theory of communication

Mullarkey, W.J
In collaboration with DB Electronics Ltd

January 1993

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

About fair asynchrony

Darondeau, Philippe

December 1985

AbstractThis paper examines the joint influence of fairness and asynchrony on the semantic modelling...

An algebraic theory of fair asynchronous communicating processes

Abstract

Extracted data

An algebraic theory of fair asynchronous communicating processes

Abstract

Extracted data

Related items

Related items