|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A core calculus for correlation in orchestration languages |
Viroli, Mirko |
2007 |
70 | 1 |
p. 74-95 22 p. |
artikel |
|
| 2 | A pi-calculus based semantics for WS-BPEL |
Lucchi, Roberto |
2007 |
70 | 1 |
p. 96-118 23 p. |
artikel |
|
| 3 | Contents |
2007 |
70 | 1 |
p. v- 1 p. |
artikel |
||
| 4 | Editorial Board |
2007 |
70 | 1 |
p. CO2- 1 p. |
artikel |
||
| 5 | Formal specification of a Web services protocol |
Johnson, James E. |
2007 |
70 | 1 |
p. 34-52 19 p. |
artikel |
|
| 6 | Guest editor’s introduction: Special issue on Web Services and Formal Methods |
Bravetti, Mario |
2007 |
70 | 1 |
p. 1-2 2 p. |
artikel |
|
| 7 | Reasoning about interaction protocols for customizing web service selection and composition |
Baldoni, Matteo |
2007 |
70 | 1 |
p. 53-73 21 p. |
artikel |
|
| 8 | Service oriented computing from a process algebraic perspective |
Bravetti, Mario |
2007 |
70 | 1 |
p. 3-14 12 p. |
artikel |
|
| 9 | Structural and behavioural compatibility of graphical service specifications |
Heckel, R. |
2007 |
70 | 1 |
p. 15-33 19 p. |
artikel |
9 gevonden resultaten