Works matching IS 00015903 AND DT 2018 AND VI 55 AND IP 8
Results: 5
Preface for the special issue for ATVA 2015.
- Published in:
- 2018
- By:
- Publication type:
- Proceeding
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
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