Jos C. M. Baeten | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Bas Luttik
13 publications
Cesare Carissimo
1 publication

research

∙ 09/13/2023

Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract)

A classical theorem states that the set of languages given by a pushdown...

0 Jos C. M. Baeten, et al. ∙

research

∙ 03/03/2022

Pushdown Automata and Context-Free Grammars in Bisimulation Semantics

The Turing machine models an old-fashioned computer, that does not inter...

0 Jos C. M. Baeten, et al. ∙