


default search action
11th FOCLASA 2012: Newcastle, UK
- Natallia Kokash, António Ravara:
Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012, Newcastle, U.K., September 8, 2012. EPTCS 91, 2012 - Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe
:
A Type-Safe Model of Adaptive Object Groups. 1-15 - Minas Charalambides
, Peter Dinges, Gul Agha:
Parameterized Concurrent Multi-Party Session Types. 16-30 - Gabriel Ciobanu
, Ross Horne
:
A Provenance Tracking Model for Data Updates. 31-44 - M. Usman Iftikhar, Danny Weyns
:
A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System. 45-62 - Jean-Marie Jacquet, Isabelle Linden
, Mihail-Octavian Staicu:
Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks. 63-78 - Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença
:
A Procedure for Splitting Processes and its Application to Coordination. 79-96 - Jasen Markovski:
Communicating Processes with Data for Supervisory Coordination. 97-111 - Emanuela Merelli, Nicola Paoletti, Luca Tesei:
A multi-level model for self-adaptive systems. 112-126

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.