FOCLASA

Keyphrases

Publications

2015

volume 201, 2015

Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2015, Madrid, Spain, 5th September 2015. FOCLASA 201 (2015)

volume 175, 2015

Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014. FOCLASA 175 (2015)

2014

2012

Jasen Markovski
Communicating Processes with Data for Supervisory Coordination FOCLASA (2012)
Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença
A Procedure for Splitting Processes and its Application to Coordination FOCLASA (2012)
Gabriel Ciobanu, Ross Horne
A Provenance Tracking Model for Data Updates FOCLASA (2012)
Emanuela Merelli, Nicola Paoletti, Luca Tesei
A multi-level model for self-adaptive systems FOCLASA (2012)
Minas Charalambides, Peter Dinges, Gul Agha
Parameterized Concurrent Multi-Party Session Types FOCLASA (2012)
Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe
A Type-Safe Model of Adaptive Object Groups FOCLASA (2012)
M. Usman Iftikhar, Danny Weyns
A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System FOCLASA (2012)
Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu
Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks FOCLASA (2012)

volume 91, 2012

Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012, Newcastle, U.K., September 8, 2012. FOCLASA 91 (2012)

2011

volume 58, 2011

Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011, Aachen, Germany, 10th September, 2011. FOCLASA 58 (2011)

2010

volume 30, 2010

Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2010, Paris, France, 4th September 2010. FOCLASA 30 (2010)

volume 255, 2009

Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2009, Rhodes, Greece, July 11, 2009 FOCLASA 255 (2009)