The High Level Petri Box Calculus Basic concepts

A (prioritised) Petri box algebra and its use for a triple modular redundancy case study

Hopkins, R
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--384) / BLDSC - B...

Laws of the logical calculi

Sanders, J
Morgan, C.
Oxford Univ. (United Kingdom). Computer Lab. Programming Research Group

January 1989

Available from British Library Document Supply Centre- DSC:8671.22(PRG--78) / BLDSC - British Librar...

A graphical calculus Extension, implication and application

Zhou, Y.

January 2001

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

Synthesis and axiomatisation for structural equivalencies in the Petri Box Calculus

Hesketh, M.

January 1998

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

A model for the #pi# calculus

Hennessy, M
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--8/91) / BLDSC - B...

Regge-Palatini calculus

Drummond, I.T
Cambridge Univ. (United Kingdom). Dept. of Applied Mathematics and Theoretical Physics

Available from British Library Document Supply Centre- DSC:9106.16(DAMTP--85-28) / BLDSC - British L...

The polyadic #pi#-calculus A tutorial

Milner, R
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1991

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

Malliavin calculus

Norris, J.R

January 1985

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

Object in the #pi#-calculus

Walker, D
Warwick Univ., Coventry (United Kingdom). Dept. of Computer Science

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:7769.09285(WU-DCS-RR--217) / BLDSC -...

The partial lambda-calculus

Moggi, E

January 1988

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

A mechanized theory of the #pi#-calculus in HOL

Melham, T
Cambridge Univ. (United Kingdom). Computer Lab

January 1992

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

On the design of mathematical concepts

Kerber, M.
Pollet, M.
Birmingham Univ. (United Kingdom). School of Computer Science

January 2002

SIGLEAvailable from British Library Document Supply Centre-DSC:3292.8854(02-6) / BLDSC - British Lib...

A refinement calculus for Z

Cavalcanti, A.
Oxford Univ. Computing Lab. (United Kingdom). Programming Research Group

January 1997

Ph.D. ThesisAvailable from British Library Document Supply Centre-DSC:8671.220(123) / BLDSC - Britis...

A study in higher education calculus and students' learning styles

Alamolhodaei, H

January 1996

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

Computer assessement in mathematics

Wild, D.G

January 1996

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

A (prioritised) Petri box algebra and its use for a triple modular redundancy case study

Hopkins, R
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--384) / BLDSC - B...

Laws of the logical calculi

Sanders, J
Morgan, C.
Oxford Univ. (United Kingdom). Computer Lab. Programming Research Group

January 1989

Available from British Library Document Supply Centre- DSC:8671.22(PRG--78) / BLDSC - British Librar...

A graphical calculus Extension, implication and application

Zhou, Y.

January 2001

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

Synthesis and axiomatisation for structural equivalencies in the Petri Box Calculus

Hesketh, M.

January 1998

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

A model for the #pi# calculus

Hennessy, M
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--8/91) / BLDSC - B...

Regge-Palatini calculus

Drummond, I.T
Cambridge Univ. (United Kingdom). Dept. of Applied Mathematics and Theoretical Physics

Available from British Library Document Supply Centre- DSC:9106.16(DAMTP--85-28) / BLDSC - British L...

The polyadic #pi#-calculus A tutorial

Milner, R
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1991

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

Malliavin calculus

Norris, J.R

January 1985

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

Object in the #pi#-calculus

Walker, D
Warwick Univ., Coventry (United Kingdom). Dept. of Computer Science

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:7769.09285(WU-DCS-RR--217) / BLDSC -...

The partial lambda-calculus

Moggi, E

January 1988

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

A mechanized theory of the #pi#-calculus in HOL

Melham, T
Cambridge Univ. (United Kingdom). Computer Lab

January 1992

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

On the design of mathematical concepts

Kerber, M.
Pollet, M.
Birmingham Univ. (United Kingdom). School of Computer Science

January 2002

SIGLEAvailable from British Library Document Supply Centre-DSC:3292.8854(02-6) / BLDSC - British Lib...

A refinement calculus for Z

Cavalcanti, A.
Oxford Univ. Computing Lab. (United Kingdom). Programming Research Group

January 1997

Ph.D. ThesisAvailable from British Library Document Supply Centre-DSC:8671.220(123) / BLDSC - Britis...

A study in higher education calculus and students' learning styles

Alamolhodaei, H

January 1996

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

Computer assessement in mathematics

Wild, D.G

January 1996

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

A (prioritised) Petri box algebra and its use for a triple modular redundancy case study

Hopkins, R
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--384) / BLDSC - B...

Laws of the logical calculi

Sanders, J
Morgan, C.
Oxford Univ. (United Kingdom). Computer Lab. Programming Research Group

January 1989

Available from British Library Document Supply Centre- DSC:8671.22(PRG--78) / BLDSC - British Librar...

A graphical calculus Extension, implication and application

Zhou, Y.

January 2001

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

The High Level Petri Box Calculus Basic concepts

Abstract

Extracted data

The High Level Petri Box Calculus Basic concepts

Abstract

Extracted data

Related items

Related items