PAM A process algebra manipulator

Computer algebra techniques in object-oriented mathematical modelling

Mitic, P.

January 1999

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

Business process re-engineering

Institute of Internal Auditors, London (United Kingdom)

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:6857.280(9) / BLDSC - British Library...

Teaching mathematics through programming

Howe, J
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1980

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--129) / BLDSC - B...

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

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

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

Polymer processing Automation '86

Plastics and Rubber Inst., London (United Kingdom)

January 1986

SIGLEAvailable from British Library Document Supply Centre- DSC:86/02498(Polymer) / BLDSC - British ...

Manipulation supported problem solving

Golightly, D.

January 1999

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

Polymer processing machinery

Plastics and Rubber Inst., London (United Kingdom)

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:6547.7192(4) / BLDSC - British Libra...

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

The algebra of logic programming

Seres, S.

January 2001

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

Process algebra for timed systems

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

January 1993

Submitted for D. Phil in Sep 1991SIGLEAvailable from British Library Document Supply Centre- DSC:762...

Parametric production

De Magalhaes, F.P.M.P.D
Cranfield Inst. of Tech. (United Kingdom)

January 1987

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

The design and control of a manipulator for safety critical deployment applications

Reedman, Adam Victor Creyke

January 2002

Available from British Library Document Supply Centre- DSC:DXN058186 / BLDSC - British Library Docum...

Computer algebra techniques in object-oriented mathematical modelling

Mitic, P.

January 1999

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

Business process re-engineering

Institute of Internal Auditors, London (United Kingdom)

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:6857.280(9) / BLDSC - British Library...

Teaching mathematics through programming

Howe, J
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1980

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--129) / BLDSC - B...

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

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

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

Polymer processing Automation '86

Plastics and Rubber Inst., London (United Kingdom)

January 1986

SIGLEAvailable from British Library Document Supply Centre- DSC:86/02498(Polymer) / BLDSC - British ...

Manipulation supported problem solving

Golightly, D.

January 1999

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

Polymer processing machinery

Plastics and Rubber Inst., London (United Kingdom)

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:6547.7192(4) / BLDSC - British Libra...

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

The algebra of logic programming

Seres, S.

January 2001

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

Process algebra for timed systems

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

January 1993

Submitted for D. Phil in Sep 1991SIGLEAvailable from British Library Document Supply Centre- DSC:762...

Parametric production

De Magalhaes, F.P.M.P.D
Cranfield Inst. of Tech. (United Kingdom)

January 1987

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

The design and control of a manipulator for safety critical deployment applications

Reedman, Adam Victor Creyke

January 2002

Available from British Library Document Supply Centre- DSC:DXN058186 / BLDSC - British Library Docum...

Computer algebra techniques in object-oriented mathematical modelling

Mitic, P.

January 1999

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

Business process re-engineering

Institute of Internal Auditors, London (United Kingdom)

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:6857.280(9) / BLDSC - British Library...

Teaching mathematics through programming

Howe, J
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1980

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--129) / BLDSC - B...

PAM A process algebra manipulator

Abstract

Extracted data

PAM A process algebra manipulator

Abstract

Extracted data

Related items

Related items