|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Certifying data in multiparty session types |
Toninho, Bernardo |
2017 |
90 | C |
p. 61-83 23 p. |
artikel |
|
| 2 | Contents |
2017 |
90 | C |
p. iii- 1 p. |
artikel |
||
| 3 | Data-driven adaptation for smart sessions |
Bono, Viviana |
2017 |
90 | C |
p. 31-49 19 p. |
artikel |
|
| 4 | Editorial Board |
2017 |
90 | C |
p. IFC- 1 p. |
artikel |
||
| 5 | Formalising privacy policies in social networks |
Pardo, Raúl |
2017 |
90 | C |
p. 125-157 33 p. |
artikel |
|
| 6 | Formalization of Habanero phasers using Coq |
Cogumbreiro, Tiago |
2017 |
90 | C |
p. 50-60 11 p. |
artikel |
|
| 7 | Guest editors' foreword |
Orchard, Dominic |
2017 |
90 | C |
p. 1- 1 p. |
artikel |
|
| 8 | Kleisli, Parikh and Peleg compositions and liftings for multirelations |
Furusawa, Hitoshi |
2017 |
90 | C |
p. 84-101 18 p. |
artikel |
|
| 9 | On detecting over-eager concurrency in asynchronously communicating concurrent object systems |
Owe, Olaf |
2017 |
90 | C |
p. 158-175 18 p. |
artikel |
|
| 10 | Reversibility in session-based concurrency: A fresh look |
Mezzina, Claudio Antares |
2017 |
90 | C |
p. 2-30 29 p. |
artikel |
|
| 11 | Using relation-algebraic means and tool support for investigating and computing bipartitions |
Berghammer, Rudolf |
2017 |
90 | C |
p. 102-124 23 p. |
artikel |
11 gevonden resultaten