Complete Axiomatisations of Weak-, Delay- and η-Bisimulation for Process Algebras with Alternative Quantification over Data

Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time

Bravetti, Mario

April 2008

AbstractWe present our work on extending the standard machinery for weak bisimulation to deal with: ...

Timing and causality in process algebra

Aceto, L.
Murphy, D
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-SCCS-R--9/93) / BLDSC -...

Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time.

BRAVETTI, MARIO

January 2008

We present our work on extending the standard machinery for weak bisimulation to deal with: finite-s...

Complete axiomatisations of weak-, delay- and $ eta $ -bisimulation for process algebras with alternative quantification over data

Luttik, Bas

January 1999

Groote and Luttik (1998a) proved that the extension of the theory pCRL with the axioms for branching...

Computer assisted manipulation of algebraic process specifications

J. F. Groote
B. Lisser
Copyright Stichting
Mathematisch Centrum
Jan Friso Groote
Bert Lisser

January 2001

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Quantifying the dynamic behavior of process algebras. In

Peter Buchholz
Peter Kemper

January 2001

Abstract. The paper introduces a new approach to define process algebras withquantified transitions....

Undecidability and completeness results for process algebras with alternative with alternative quantification over data

Groote, Jan Friso
Luttik, Bas

January 1998

We define a class of process algebras with a generalised operation $sum$ that allows explicit treatm...

A complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data

Groote, Jan Friso
Luttik, Bas

January 1998

We define a class of process algebras with silent step and a generalised operation $gsum{$ that allo...

Strong Splitting Bisimulation Equivalence

Bergstra, J.A.
Middelburg, C.A.

January 2005

We present ACPc, a process algebra with conditional expressions in which the conditions are taken fr...

Proces algebra

Baeten, J.C.M.

January 1986

Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...

Formal Methods Group, Technische Universiteit Eindhoven

J. Markovski
E. P. De Vink
Den Dolech Az Eindhoven

February 2008

A real-time process algebra is presented that features stochastic delays governed by general distrib...

On cool congruence formats for weak bisimulations

van Glabbeek, Robert, Computer Science & Engineering, Faculty of Engineering, UNSW

In TCS 146, Bard Bloom presented rule formats for four main notions of bisimulation with silent move...

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

On cool congruence formats for weak bisimulations

van Glabbeek, R.J.

June 2011

AbstractIn TCS 146, Bard Bloom presented rule formats for four main notions of bisimulation with sil...

Time and probability in process algebra

Andova, S.
Rus, T.

January 2000

In the paper we present an ACP-like process algebra which can be used to model both probabilistic an...

Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time

Bravetti, Mario

April 2008

AbstractWe present our work on extending the standard machinery for weak bisimulation to deal with: ...

Timing and causality in process algebra

Aceto, L.
Murphy, D
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-SCCS-R--9/93) / BLDSC -...

Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time.

BRAVETTI, MARIO

January 2008

We present our work on extending the standard machinery for weak bisimulation to deal with: finite-s...

Complete axiomatisations of weak-, delay- and $ eta $ -bisimulation for process algebras with alternative quantification over data

Luttik, Bas

January 1999

Groote and Luttik (1998a) proved that the extension of the theory pCRL with the axioms for branching...

Computer assisted manipulation of algebraic process specifications

J. F. Groote
B. Lisser
Copyright Stichting
Mathematisch Centrum
Jan Friso Groote
Bert Lisser

January 2001

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NW...

Quantifying the dynamic behavior of process algebras. In

Peter Buchholz
Peter Kemper

January 2001

Abstract. The paper introduces a new approach to define process algebras withquantified transitions....

Undecidability and completeness results for process algebras with alternative with alternative quantification over data

Groote, Jan Friso
Luttik, Bas

January 1998

We define a class of process algebras with a generalised operation $sum$ that allows explicit treatm...

A complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data

Groote, Jan Friso
Luttik, Bas

January 1998

We define a class of process algebras with silent step and a generalised operation $gsum{$ that allo...

Strong Splitting Bisimulation Equivalence

Bergstra, J.A.
Middelburg, C.A.

January 2005

We present ACPc, a process algebra with conditional expressions in which the conditions are taken fr...

Proces algebra

Baeten, J.C.M.

January 1986

Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...

Formal Methods Group, Technische Universiteit Eindhoven

J. Markovski
E. P. De Vink
Den Dolech Az Eindhoven

February 2008

A real-time process algebra is presented that features stochastic delays governed by general distrib...

On cool congruence formats for weak bisimulations

van Glabbeek, Robert, Computer Science & Engineering, Faculty of Engineering, UNSW

In TCS 146, Bard Bloom presented rule formats for four main notions of bisimulation with silent move...

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

On cool congruence formats for weak bisimulations

van Glabbeek, R.J.

June 2011

AbstractIn TCS 146, Bard Bloom presented rule formats for four main notions of bisimulation with sil...

Time and probability in process algebra

Andova, S.
Rus, T.

January 2000

In the paper we present an ACP-like process algebra which can be used to model both probabilistic an...

Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time

Bravetti, Mario

April 2008

AbstractWe present our work on extending the standard machinery for weak bisimulation to deal with: ...

Timing and causality in process algebra

Aceto, L.
Murphy, D
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-SCCS-R--9/93) / BLDSC -...

Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time.

BRAVETTI, MARIO

January 2008

We present our work on extending the standard machinery for weak bisimulation to deal with: finite-s...

Complete Axiomatisations of Weak-, Delay- and η-Bisimulation for Process Algebras with Alternative Quantification over Data

Abstract

Extracted data

Complete Axiomatisations of Weak-, Delay- and η-Bisimulation for Process Algebras with Alternative Quantification over Data

Abstract

Extracted data

Related items

Related items