


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














