 |
Local Type Checking for Linked Data |
| Ross Horne, Vladimiro Sassone and Gabriel Ciobanu |
|
|
|
Amending Choreographies |
| Ivan Lanese, Fabrizio Montesi and Gianluigi Zavattaro |
|
|
|
Blind-date Conversation Joining |
| Luca Cesari, Rosario Pugliese and Francesco Tiezzi |
|
|
|
Proving Properties of Rich Internet Applications |
| James Smith |
|
|
|
Template Extraction Based on Menu Information |
| Julian Alarte, David Insa, Josep Silva and Salvador Tamarit |
|
Model Checking GSM-Based Multi-Agent Systems |
| Pavel Gonzalez, Andreas Griesmayer and Alessio Lomuscio |
|
|
