Found: 5
Select item for more details and to access through your institution.
Spanning the spectrum from safety to liveness.
- Published in:
- Acta Informatica, 2018, v. 55, n. 8, p. 703, doi. 10.1007/s00236-017-0307-4
- By:
- Publication type:
- Article
Preface for the special issue for ATVA 2015.
- Published in:
- 2018
- By:
- Publication type:
- Proceeding
Hierarchical information and the synthesis of distributed strategies.
- Published in:
- Acta Informatica, 2018, v. 55, n. 8, p. 669, doi. 10.1007/s00236-017-0306-5
- By:
- Publication type:
- Article
TSO-to-TSO linearizability is undecidable.
- Published in:
- Acta Informatica, 2018, v. 55, n. 8, p. 649, doi. 10.1007/s00236-017-0305-6
- By:
- Publication type:
- Article
Looking at mean payoff through foggy windows.
- Published in:
- Acta Informatica, 2018, v. 55, n. 8, p. 627, doi. 10.1007/s00236-017-0304-7
- By:
- Publication type:
- Article