Found: 3
Select item for more details and to access through your institution.
Expressiveness modulo bisimilarity of regular expressions with parallel composition.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 6, p. 933, doi. 10.1017/S0960129514000309
- By:
- Publication type:
- Article
A ground-complete axiomatisation of finite-state processes in a generic process algebra.
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 6, p. 1057, doi. 10.1017/S0960129508007111
- By:
- Publication type:
- Article
PUSHDOWN AUTOMATA AND CONTEXT-FREE GRAMMARS IN BISIMULATION SEMANTICS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(115)2023
- By:
- Publication type:
- Article