21 citations · 38 across the 9 of their papers we have counts for
9 papers
The Queue Automaton Revisited
Jos C. M. Baeten, Bas Luttik
We consider the computational model of the Queue Automaton. An old result is that the deterministic queue automaton is equally expressive as the Turing machine. We introduced the R…
Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract)
Jos C. M. Baeten, Bas Luttik
A classical theorem states that the set of languages given by a pushdown automaton coincides with the set of languages given by a context-free grammar. In previous work, we proved…
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
Jos C. M. Baeten, Cesare Carissimo, Bas Luttik
The Turing machine models an old-fashioned computer, that does not interact with the user or with other computers, and only does batch processing. Therefore, we came up with a Reac…
Sequential Composition in the Presence of Intermediate Termination (Extended Abstract)
Jos Baeten, Bas Luttik, Fei Yang
The standard operational semantics of the sequential composition operator gives rise to unbounded branching and forgetfulness when transparent process expressions are put in sequen…
Sequential Composition in the Presence of Intermediate Termination
Jos Baeten, Bas Luttik, Fei Yang
The standard operational semantics of the sequential composition operator gives rise to unbounded branching and forgetfulness when transparent process expressions are put in sequen…
A Process Algebra for Supervisory Coordination
Jos Baeten, Bert van Beek, Allan van Hulst +1
A supervisory controller controls and coordinates the behavior of different components of a complex machine by observing their discrete behaviour. Supervisory control theory studie…