default search action
To Celebrate the Lifelong Scientific Achievements of Farhad Arbab, 2018
- Frank S. de Boer, Marcello M. Bonsangue, Jan Rutten:
It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. Lecture Notes in Computer Science 10865, Springer 2018, ISBN 978-3-319-90088-9 - Wil M. P. van der Aalst:
Discovering the "Glue" Connecting Activities - Exploiting Monotonicity to Learn Places Faster. 1-20 - Krzysztof R. Apt, Ehsan Shoja:
Self-stabilization Through the Lens of Game Theory. 21-37 - Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz:
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination. 38-56 - Daniel Figueiredo, Manuel A. Martins, Luís Soares Barbosa:
A Note on Reactive Transitions and Reo Connectors. 57-67 - Kees Blom:
Personal Note: Working with Farhad Arbab 1990-2005. 68-69 - Kasper Dokter, Fabio Gadducci, Francesco Santini:
Soft Constraint Automata with Memory. 70-85 - Jean-Marie Jacquet, Isabelle Linden, Denis Darquennes:
On the Relation Between Control-Based and Data-Based Coordination Languages. 86-106 - Rudolf Schlatte, Einar Broch Johnsen, Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu:
Release the Beasts: When Formal Methods Meet Real World Data. 107-121 - Sung-Shik Jongmans:
Formalizing Propagation of Priorities in Reo, Using Eight Colors. 122-138 - Gerco van Heerdt, Bart Jacobs, Tobias Kappé, Alexandra Silva:
Learning to Coordinate. 139-159 - Marjan Sirjani, Fatemeh Ghassemi, Bahman Pourvatan:
Reo Connectors and Components as Tagged Signal Models. 160-173 - Yi Li, Meng Sun:
Generating Arduino C Codes from Mediator. 174-188 - Carolyn L. Talcott:
From Soft Agents to Soft Component Automata and Back. 189-207 - Leendert W. N. van der Torre, Tjitze Rienstra, Dov M. Gabbay:
Argumentation as Exogenous Coordination. 208-223 - Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink:
Extending Paradigm with Data. 224-244
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.