Results: 2
Negotiation as concurrency primitive.
- Published in:
- Acta Informatica, 2019, v. 56, n. 2, p. 93, doi. 10.1007/s00236-018-0318-9
- By:
- Publication type:
- Article
Verification of asynchronous systems with an unspecified component.
- Published in:
- Acta Informatica, 2019, v. 56, n. 2, p. 161, doi. 10.1007/s00236-018-0317-x
- By:
- Publication type:
- Article