Ball Call for papers
 Ball Important dates
 Ball ToPics
 Ball Invited speakers
 Ball Program committee
 Ball Submission
 Ball Program
 Ball Accepted Papers
 Ball Registration
 Ball Location and travel
 Ball WWV homepage
 Ball Poster
 >  Special Issue JLAP
 >  DisCoTec 2013

Accepted Papers

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

Proceedings Pre-Proceedings of WWV 2013