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
Works matching IS 01782770 AND DT 2012 AND VI 25 AND IP 1
Results: 6
1
2
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
3
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
4
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
5
Concurrency theory: timed automata, testing, program synthesis.
- Published in:
- 2012
- By:
- Publication type:
- Editorial
6
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