#### Filter Results:

- Full text PDF available (69)

#### Publication Year

1987

2017

- This year (2)
- Last 5 years (9)
- Last 10 years (29)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Jos C. M. Baeten, Jan A. Bergstra
- Formal Aspects of Computing
- 1991

We describe an axiom system ACP p that incorporates real timed actions. Many examples are provided in order to explain the intuitive contents of the notation. ACP p is a generalisation of ACP. This implies that some of the axioms have to be relaxed and that ACP can be recovered as a special case from it. The purpose of ACP p is to serve as a specification… (More)

- Jos C. M. Baeten, T . Basten, Michel A. Reniers
- 2010

Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras currently in use, and presents them in a unified framework and notation. The authors describe the theory… (More)

- Jos C. M. Baeten, Jan A. Bergstra
- Formal Aspects of Computing
- 1992

The axiom system ACP of [BeK84a] was extended with real time features in [BaB91]. Here we proceed to define a discrete time extension of ACP, along the lines of ATP [NiS94]. We present versions based on relative timing and on absolute timing. Both approaches are integrated using parametric timing. The time free ACP theory is embedded in the discrete time… (More)

- Jos C. M. Baeten
- Theor. Comput. Sci.
- 2005

This note addresses the history of process algebra as an area of research in concurrency theory, the theory of parallel and distributed systems in computer science. Origins are traced back to the early seventies of the twentieth century, and developments since that time are sketched. The author gives his personal views on these matters. He also considers… (More)

- Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka
- Inf. Comput.
- 1995

- Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop
- J. ACM
- 1987

A context-free grammar (CFG) in Greibach Normal Form coincides, in another notation, with a system of guarded recursion equations in Basic Process .$dgebrzd. Hence, to each CFG, aprocess can be assigned absolution, which has as its set of finite traces the context-free language (CFL)determined by that CFG. Although theequality problem for CFLs is… (More)

- Jos C. M. Baeten, Kees Middelburg
- Monographs in Theoretical Computer Science. An…
- 2002

- Jos C. M. Baeten, Chris Verhoef
- CONCUR
- 1993

We proposed a syntactical format, the path format, for structured operational semantics in which predicates may occur. We proved that strong bisim-ulation is a congruence for all the operators that can be deened within the path format. To show that this format is useful we provided many examples that we took from the literature about CCS, CSP, and ACP; they… (More)

- Twan Basten, Antonius André Basten, +6 authors Jos C. M. Baeten
- 1998

ion, 13<lb>in object-oriented design, 144 in process algebra, 49, 51, 144 abstraction operator<lb>on labeled, ordinary P/T nets, 165, 169<lb>in process algebra, 40, 49, 148, 150–152ion operator<lb>on labeled, ordinary P/T nets, 165, 169<lb>in process algebra, 40, 49, 148, 150–152 in process algebra with multi-actions,<lb>71, 72 ACP, 33<lb>action, 5, 6, 18,… (More)

We revisit the central notion of controllability in supervisory control theory from process-theoretic perspective. To this end, we investigate partial bisimulation preorder, a behavioral preorder that is coarser than bisimulation equivalence and finer than simulation preorder. It is parameterized by a subset of the set of actions that need to be… (More)