Contract-Oriented Computing in CO<sub>2</sub>.
- Published in:
- Scientific Annals of Computer Science, 2012, v. 22, n. 1, p. 5, doi. 10.7561/SACS.2012.1.5
- By:
- Publication type:
- Article
Works matching IS 18438121 AND DT 2012 AND VI 22 AND IP 1
Results: 6
1
2
Three Algorithms and a Methodology for Amending Contracts for Choreographies.
- Published in:
- Scientific Annals of Computer Science, 2012, v. 22, n. 1, p. 61, doi. 10.7561/SACS.2012.1.61
- By:
- Publication type:
- Article
3
Overview of Thirty Semantic Formalisms for Reo.
- Published in:
- Scientific Annals of Computer Science, 2012, v. 22, n. 1, p. 201, doi. 10.7561/SACS.2012.1.201
- By:
- Publication type:
- Article
4
Innocent Strategies as Presheaves and Interactive Equivalences for CCS.
- Published in:
- Scientific Annals of Computer Science, 2012, v. 22, n. 1, p. 147, doi. 10.7561/SACS.2012.1.147
- By:
- Publication type:
- Article
5
Towards Interaction Reliability in Concurrent Applications.
- Published in:
- Scientific Annals of Computer Science, 2012, v. 22, n. 1, p. 1, doi. 10.7561/SACS.2012.1.1
- By:
- Publication type:
- Article
6
Structured Operational Semantics for Graph Rewriting.
- Published in:
- Scientific Annals of Computer Science, 2012, v. 22, n. 1, p. 105, doi. 10.7561/SACS.2012.1.105
- By:
- Publication type:
- Article