#### Filter Results:

- Full text PDF available (72)

#### Publication Year

1987

2017

- This year (1)
- Last 5 years (9)
- Last 10 years (36)

#### Publication Type

#### Co-author

#### Publication Venue

#### 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
- 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 sev-enties 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, Kees Middelburg
- Monographs in Theoretical Computer Science. An…
- 2002

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

— We revisit the central notion of controllability in supervisory control theory from process-theoretic perspective. To this end, we investigate partial bisimulation preorder, a be-havioral 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)

- Jos C. M. Baeten
- Electr. Notes Theor. Comput. Sci.
- 2000

- TWAN BASTEN, Antonius André Basten, +6 authors Jos Baeten
- 1998

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

- J C M Baeten
- 2000

We present real time and discrete time versions of ACP with absolute timing and relative timing. The starting-point is a new real time version with absolute timing, called ACP sat , featuring urgent actions and a delay operator. The discrete time versions are conservative extensions of the discrete time versions of ACP being known as ACP dat and ACP drt.… (More)