


Остановите войну!
for scientists:


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.