imds2014 documents

Pict: A programming language based on the pi-calculus
Science Pict: A programming language based on the pi-calculus
Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns
Science Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns
Hop, a language for programming the web 2.0
Science Hop, a language for programming the web 2.0
Process-aware Web Programming with Jolie
Science Process-aware Web Programming with Jolie
Demo presentation chor
Documents Demo presentation chor
Scribbling Interactions with a Formal Foundation
Science Scribbling Interactions with a Formal Foundation