1. A game characterization for contrasimilarity;Bisping,2021
2. The linear time–branching time spectrum II;van Glabbeek,1993
3. Certifiably sound parallelizing transformations;Bell,2013
4. A context-free process as a pushdown automaton;Baeten,2008
5. Context-free processes and push-down processes;de Hoop,2017