Synthesis and axiomatisation for structural equivalencies in the Petri Box Calculus

The algebra of distributive and extensive categories

Lack, S.G.

January 1995

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

The constitutional calculus Synthesis and extensions

Hamlin, A.
Southampton Univ. (UK). Dept. of Economics

January 1981

SIGLELD:3597.937(8119) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

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

The High Level Petri Box Calculus Basic concepts

Hall, J
York Univ. (United Kingdom). Dept. of Computer Science

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:7624.255(YU-YCS--196) / BLDSC - Brit...

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

Product structures and anticommuting stochastic calculus

Percy, J.D.A

January 1987

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

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

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

Categorical multirelations, linear logic and petri nets Draft

De Paiva, V
Cambridge Univ. (United Kingdom). Computer Lab

January 1991

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

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

Higher-level algorithmic structures in the refinement calculus

King, S.

January 1998

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

Asymmetric synthesis in heterogeneous systems

Stratford, P.W

January 1990

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

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

Categorical combinators for the calculus of constructions

Ritter, E
Cambridge Univ. (United Kingdom). Computer Lab

January 1990

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

The algebra of distributive and extensive categories

Lack, S.G.

January 1995

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

The constitutional calculus Synthesis and extensions

Hamlin, A.
Southampton Univ. (UK). Dept. of Economics

January 1981

SIGLELD:3597.937(8119) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

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

The High Level Petri Box Calculus Basic concepts

Hall, J
York Univ. (United Kingdom). Dept. of Computer Science

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:7624.255(YU-YCS--196) / BLDSC - Brit...

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

Product structures and anticommuting stochastic calculus

Percy, J.D.A

January 1987

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

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

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

Categorical multirelations, linear logic and petri nets Draft

De Paiva, V
Cambridge Univ. (United Kingdom). Computer Lab

January 1991

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

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

Higher-level algorithmic structures in the refinement calculus

King, S.

January 1998

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

Asymmetric synthesis in heterogeneous systems

Stratford, P.W

January 1990

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

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

Categorical combinators for the calculus of constructions

Ritter, E
Cambridge Univ. (United Kingdom). Computer Lab

January 1990

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

The algebra of distributive and extensive categories

Lack, S.G.

January 1995

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

The constitutional calculus Synthesis and extensions

Hamlin, A.
Southampton Univ. (UK). Dept. of Economics

January 1981

SIGLELD:3597.937(8119) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

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

Synthesis and axiomatisation for structural equivalencies in the Petri Box Calculus

Abstract

Extracted data

Synthesis and axiomatisation for structural equivalencies in the Petri Box Calculus

Abstract

Extracted data

Related items

Related items