Axiomatising finite concurrent processes

Semantics, verification and design of concurrent programs using atomic actions

Best, E

January 1981

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

Process Algebra for Limited Parallelism

Damas Gruska

November 2007

An extension of Milner's CCS is presented. The language takes into account a number of resourc...

On the Axiomatisability of Parallel Composition

Aceto, Luca
Castiglioni, Valentina
Ingólfsdóttir, Anna
Luttik, Bas
Pedersen, Mathias Ruggaard

January 2022

This paper studies the existence of finite equational axiomatisations of the interleaving parallel c...

On 'axiomatising finite concurrent processes'

Aceto, L
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--1/93) / BLDSC - B...

Axiomatizing the algebra of concurrent histories

Ferrari, G.
Montanari, U.
Mowbray, M
Hewlett-Packard Laboratories, Bristol (United Kingdom)

January 1991

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

Concurrent behaviour: Sequences, processes and axioms

Best, E. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, Sankt Augustin (Germany, F.R.). Inst. fuer Methodische Grundlagen)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, St. Augustin (Germany, F.R.)

January 1984

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

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 algebra of concurrent non-deterministic processes

Cherkasova, Ludmila A.
Kotov, Vadim E.

November 1991

AbstractThis paper illustrates how early ideas and simple naive concepts of concurrency theory of th...

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

Finite equational bases in process algebra: Results and open questions

Luca Aceto
Wan Fokkink
Anna Ingolfsdottir
Bas Luttik

January 2005

Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equiva...

Adding action refinement to a finite process algebra

Aceto, L.
Hennessy, M
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--6/90) / BLDSC - B...

Finite equational bases in process algebra : results and open questions

Aceto, L.
Fokkink, W.J.
Ingólfsdóttir, A.
Luttik, B.
Middeldorp, A.
Oostrom, van, V.
Raamsdonk, van, F.
Vrijer, de, R.C.

January 2005

Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for...

Invariants and paradigms of concurrency theory

Janicki, R.
Koutny, M
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--355) / 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...

Typed concurrent programs Specification and verification

Nagarajan, R.

January 1999

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

Semantics, verification and design of concurrent programs using atomic actions

Best, E

January 1981

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

Process Algebra for Limited Parallelism

Damas Gruska

November 2007

An extension of Milner's CCS is presented. The language takes into account a number of resourc...

On the Axiomatisability of Parallel Composition

Aceto, Luca
Castiglioni, Valentina
Ingólfsdóttir, Anna
Luttik, Bas
Pedersen, Mathias Ruggaard

January 2022

This paper studies the existence of finite equational axiomatisations of the interleaving parallel c...

On 'axiomatising finite concurrent processes'

Aceto, L
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--1/93) / BLDSC - B...

Axiomatizing the algebra of concurrent histories

Ferrari, G.
Montanari, U.
Mowbray, M
Hewlett-Packard Laboratories, Bristol (United Kingdom)

January 1991

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

Concurrent behaviour: Sequences, processes and axioms

Best, E. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, Sankt Augustin (Germany, F.R.). Inst. fuer Methodische Grundlagen)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, St. Augustin (Germany, F.R.)

January 1984

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

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 algebra of concurrent non-deterministic processes

Cherkasova, Ludmila A.
Kotov, Vadim E.

November 1991

AbstractThis paper illustrates how early ideas and simple naive concepts of concurrency theory of th...

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

Finite equational bases in process algebra: Results and open questions

Luca Aceto
Wan Fokkink
Anna Ingolfsdottir
Bas Luttik

January 2005

Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equiva...

Adding action refinement to a finite process algebra

Aceto, L.
Hennessy, M
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--6/90) / BLDSC - B...

Finite equational bases in process algebra : results and open questions

Aceto, L.
Fokkink, W.J.
Ingólfsdóttir, A.
Luttik, B.
Middeldorp, A.
Oostrom, van, V.
Raamsdonk, van, F.
Vrijer, de, R.C.

January 2005

Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for...

Invariants and paradigms of concurrency theory

Janicki, R.
Koutny, M
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--355) / 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...

Typed concurrent programs Specification and verification

Nagarajan, R.

January 1999

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

Semantics, verification and design of concurrent programs using atomic actions

Best, E

January 1981

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

Process Algebra for Limited Parallelism

Damas Gruska

November 2007

An extension of Milner's CCS is presented. The language takes into account a number of resourc...

On the Axiomatisability of Parallel Composition

Aceto, Luca
Castiglioni, Valentina
Ingólfsdóttir, Anna
Luttik, Bas
Pedersen, Mathias Ruggaard

January 2022

This paper studies the existence of finite equational axiomatisations of the interleaving parallel c...

Axiomatising finite concurrent processes

Abstract

Extracted data

Axiomatising finite concurrent processes

Abstract

Extracted data

Related items

Related items