Publication
-
A Component Coordination Model Based on Mobile Channels Article
Electronic Notes in Theoretical Computer Science, 121-138.January 2006 -
Deploying Loosely Coupled, Component-based Applications into distributed environments In Proceedings
January 2006 -
Towards an Automated Deployment Planner for Composition of Web Services as Software Components Article
Electronic Notes in Theoretical Computer Science, 239-253.January 2006 -
January 2006
-
Modere: the model-checking engine of Rebeca In Proceedings
January 2006 -
Interaction and Coordination of Tools for Structured Data In Proceedings
January 2006 -
A Channel Based Communication Model with a Weighted Mobility In Proceedings
January 2006 -
Components as coalgebras: The refinement dimension Article
Theoretical Computer Science, 276-294.January 2006