|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Choreographies in the wild |
Bartoletti, Massimo |
2015 |
109 | C |
p. 36-60 25 p. |
artikel |
|
| 2 | Modular encoding of synchronous and asynchronous interactions using open Petri nets |
Baldan, Paolo |
2015 |
109 | C |
p. 96-124 29 p. |
artikel |
|
| 3 | Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP |
Baranov, Eduard |
2015 |
109 | C |
p. 2-35 34 p. |
artikel |
|
| 4 | Preface for the special issue of Interaction and Concurrency Experience 2013 |
Carbone, Marco |
2015 |
109 | C |
p. 1- 1 p. |
artikel |
|
| 5 | Vicious circles in contracts and in logic |
Bartoletti, Massimo |
2015 |
109 | C |
p. 61-95 35 p. |
artikel |
5 gevonden resultaten