Results: 4
Finite automata with undirected state graphs.
- Published in:
- Acta Informatica, 2022, v. 59, n. 1, p. 163, doi. 10.1007/s00236-021-00402-0
- By:
- Publication type:
- Article
Session-based concurrency, declaratively.
- Published in:
- Acta Informatica, 2022, v. 59, n. 1, p. 1, doi. 10.1007/s00236-021-00395-w
- By:
- Publication type:
- Article
Sound reasoning in tock-CSP.
- Published in:
- Acta Informatica, 2022, v. 59, n. 1, p. 125, doi. 10.1007/s00236-020-00394-3
- By:
- Publication type:
- Article
Configurable verification of timed automata with discrete variables.
- Published in:
- Acta Informatica, 2022, v. 59, n. 1, p. 1, doi. 10.1007/s00236-020-00393-4
- By:
- Publication type:
- Article