Publication
-
A Component Coordination Model Based on Mobile Channels Article
Fundamenta Informaticae, 1-22.January 2006 -
January 2006
-
Modeling the Exogenous Coordination of Mobile Channel-based systems with petri nets Article
Electronic Notes in Theoretical Computer Science, 121-138.January 2006 -
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