Compositional verification of asynchronous concurrent systems using CADP.
- Published in:
- Acta Informatica, 2015, v. 52, n. 4/5, p. 337, doi. 10.1007/s00236-015-0226-1
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2015 AND VI 52 AND IP 4/5
Results: 6
1
2
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency.
- Published in:
- Acta Informatica, 2015, v. 52, n. 4/5, p. 393, doi. 10.1007/s00236-015-0238-x
- By:
- Publication type:
- Article
3
Compositional construction of most general controllers.
- Published in:
- Acta Informatica, 2015, v. 52, n. 4/5, p. 443, doi. 10.1007/s00236-015-0239-9
- By:
- Publication type:
- Article
4
Special issue on 'Combining Compositionality and Concurrency': part 2.
- Published in:
- 2015
- By:
- Publication type:
- Editorial
5
A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer.
- Published in:
- 2015
- By:
- Publication type:
- Editorial
6
Richer interface automata with optimistic and pessimistic compatibility.
- Published in:
- Acta Informatica, 2015, v. 52, n. 4/5, p. 305, doi. 10.1007/s00236-014-0211-0
- By:
- Publication type:
- Article