Roberto Lucchi

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
A pi-calculus based semantics for WS-BPEL
The Journal of Logic and Algebraic Programming
2007-01-09Paper
Supporting secure coordination in SecSpaces2007-01-04Paper
Secure shared data-space coordination languages: a process algebraic survey
Science of Computer Programming
2006-10-25Paper
Coordination Models and Languages
Lecture Notes in Computer Science
2006-01-10Paper
Quantitative information in the tuple space coordination model
Theoretical Computer Science
2005-12-29Paper


Research outcomes over time


This page was built for person: Roberto Lucchi