Works matching IS 00015903 AND DT 2022 AND VI 59 AND IP 1
Results: 4
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
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
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