Found: 6
Select item for more details and to access through your institution.
Attribute-based transactions in service oriented computing.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 3, p. 619, doi. 10.1017/S0960129512000904
- By:
- Publication type:
- Article
A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 3, p. 1, doi. 10.46298/LMCS-19(3:9)2023
- By:
- Publication type:
- Article
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
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
A symbolic framework for multi-faceted security protocol analysis.
- Published in:
- International Journal of Information Security, 2008, v. 7, n. 1, p. 55, doi. 10.1007/s10207-007-0043-9
- By:
- Publication type:
- Article
Comparing perfomance abstractions for collective adaptive systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 5/6, p. 785, doi. 10.1007/s10009-023-00728-9
- By:
- Publication type:
- Article