default search action
Science of Computer Programming, Volume 203
Volume 203, March 2021
- Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst:
Hubs for VirtuosoNext: Online verification of real-time coordinators. 102566
- Behnaz Changizi, Natallia Kokash, Farhad Arbab, Leonid Makhnist:
Compositional workflow modeling with priority constraints. 102578
- Sebastijan Kaplar, Miroslav Zaric, Stéphane Ducasse:
NewWave: Workflow engine. 102581
- Maverick Chardet, Hélène Coullon, Simon Robillard:
Toward safe and efficient reconfiguration with Concerto. 102582 - Alejandro Pérez-Vereda, Carlos Canal, Ernesto Pimentel:
Modelling digital avatars: A tuple space approach. 102583 - Giorgio Audrito, Danilo Pianini, Ferruccio Damiani, Mirko Viroli:
Aggregate centrality measures for IoT-based coordination. 102584
- Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet:
A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems. 102591
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.