Workshops in Computing - Algebra of Communicating Processes
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer London

9783540199090, 9781447121206

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Algebraic Specification of Dynamic Leader Election Protocols in Broadcast Networks

Workshops in Computing - Algebra of Communicating Processes ◽

10.1007/978-1-4471-2120-6_15 ◽

1995 ◽

pp. 338-357

Author(s):

Jacob Brunekreef ◽

Joost-Pieter Katoen ◽

Ron Koymans ◽

Sjouke Mauw

Keyword(s):

Leader Election ◽

Algebraic Specification ◽

Broadcast Networks

Download Full-text

Process Specification in a UNITY Format

Workshops in Computing - Algebra of Communicating Processes ◽

10.1007/978-1-4471-2120-6_14 ◽

1995 ◽

pp. 319-337 ◽

Cited By ~ 3

Author(s):

Jacob Brunekreef

Keyword(s):

Process Specification

Download Full-text

Normed BPP and BPA

Workshops in Computing - Algebra of Communicating Processes ◽

10.1007/978-1-4471-2120-6_10 ◽

1995 ◽

pp. 242-251 ◽

Cited By ~ 3

Author(s):

Javier Blanco

Download Full-text

Graph Isomorphism Models for Non Interleaving Process Algebra

Workshops in Computing - Algebra of Communicating Processes ◽

10.1007/978-1-4471-2120-6_13 ◽

1995 ◽

pp. 299-318 ◽

Cited By ~ 1

Author(s):

J. C. M. Baeten ◽

J. A. Bergstra

Keyword(s):

Process Algebra ◽

Graph Isomorphism

Download Full-text

A Real Time μCRL Specification of a System for Traffic Regulation at Signalized Intersections

Workshops in Computing - Algebra of Communicating Processes ◽

10.1007/978-1-4471-2120-6_11 ◽

1995 ◽

pp. 252-279

Author(s):

M. J. Koens ◽

L. H. Oei

Keyword(s):

Real Time ◽

Signalized Intersections ◽

Traffic Regulation

Download Full-text

Definability with the State Operator in Process Algebra

Workshops in Computing - Algebra of Communicating Processes ◽

10.1007/978-1-4471-2120-6_9 ◽

1995 ◽

pp. 218-241

Author(s):

Javier Blanco

Keyword(s):

Process Algebra ◽

The State ◽

State Operator

Download Full-text

An Experiment in Implementing Process Algebra Specifications in a Procedural Language

Workshops in Computing - Algebra of Communicating Processes ◽

10.1007/978-1-4471-2120-6_12 ◽

1995 ◽

pp. 280-298 ◽

Cited By ~ 1

Author(s):

C. Groza

Keyword(s):

Process Algebra

Download Full-text

On the Expressiveness of ACP

Workshops in Computing - Algebra of Communicating Processes ◽

10.1007/978-1-4471-2120-6_8 ◽

1995 ◽

pp. 188-217 ◽

Cited By ~ 7

Author(s):

Rob van Glabbeek

Download Full-text

The ABP and the CABP — a Comparison of Performances in Real Time Process Algebra

Workshops in Computing - Algebra of Communicating Processes ◽

10.1007/978-1-4471-2120-6_6 ◽

1995 ◽

pp. 124-147 ◽

Cited By ~ 2

Author(s):

Joris Hillebrand

Keyword(s):

Real Time ◽

Process Algebra ◽

Time Process

Download Full-text

Formal Semantics of Interworkings with Discrete Absolute Time

Workshops in Computing - Algebra of Communicating Processes ◽

10.1007/978-1-4471-2120-6_5 ◽

1995 ◽

pp. 106-123

Author(s):

J. van den Brink ◽

W. O. D. Griffioen

Keyword(s):

Formal Semantics ◽

Absolute Time

Download Full-text

Workshops in Computing - Algebra of Communicating ProcessesLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer London

Algebraic Specification of Dynamic Leader Election Protocols in Broadcast Networks

Process Specification in a UNITY Format

Normed BPP and BPA

Graph Isomorphism Models for Non Interleaving Process Algebra

A Real Time μCRL Specification of a System for Traffic Regulation at Signalized Intersections

Definability with the State Operator in Process Algebra

An Experiment in Implementing Process Algebra Specifications in a Procedural Language

On the Expressiveness of ACP

The ABP and the CABP — a Comparison of Performances in Real Time Process Algebra

Formal Semantics of Interworkings with Discrete Absolute Time

Workshops in Computing - Algebra of Communicating Processes
Latest Publications