Results: 6
Symbolic synthesis of masking fault-tolerant distributed programs.
- Published in:
- Distributed Computing, 2012, v. 25, n. 1, p. 83, doi. 10.1007/s00446-011-0139-3
- By:
- Publication type:
- Article
A study on shuffle, stopwatches and independently evolving clocks.
- Published in:
- Distributed Computing, 2012, v. 25, n. 1, p. 5, doi. 10.1007/s00446-011-0148-2
- By:
- Publication type:
- Article
Implementation relations and test generation for systems with distributed interfaces.
- Published in:
- Distributed Computing, 2012, v. 25, n. 1, p. 35, doi. 10.1007/s00446-011-0149-1
- By:
- Publication type:
- Article
Overcoming controllability problems in distributed testing from an input output transition system.
- Published in:
- Distributed Computing, 2012, v. 25, n. 1, p. 63, doi. 10.1007/s00446-011-0153-5
- By:
- Publication type:
- Article
Concurrency theory: timed automata, testing, program synthesis.
- Published in:
- 2012
- By:
- Publication type:
- Editorial
Announcement: best reviewer award 2011.
- Published in:
- Distributed Computing, 2012, v. 25, n. 1, p. 1, doi. 10.1007/s00446-012-0161-0
- By:
- Publication type:
- Article