OASIcs, Volume 111
Microservices 2020/2022, May 10-12, 2022, Paris, France
Editors: Gokila Dorai, Maurizio Gabbrielli, Giulio Manzonetto, Aomar Osmani, Marco Prandini, Gianluigi Zavattaro, and Olaf Zimmermann
Published in: OASIcs, Volume 111, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)
Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022). Open Access Series in Informatics (OASIcs), Volume 111, pp. 1-156, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Proceedings{dorai_et_al:OASIcs.Microservices.2020-2022, title = {{OASIcs, Volume 111, Microservices 2020/2022, Complete Volume}}, booktitle = {Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)}, pages = {1--156}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-306-5}, ISSN = {2190-6807}, year = {2023}, volume = {111}, editor = {Dorai, Gokila and Gabbrielli, Maurizio and Manzonetto, Giulio and Osmani, Aomar and Prandini, Marco and Zavattaro, Gianluigi and Zimmermann, Olaf}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Microservices.2020-2022}, URN = {urn:nbn:de:0030-drops-194618}, doi = {10.4230/OASIcs.Microservices.2020-2022}, annote = {Keywords: OASIcs, Volume 111, Microservices 2020/2022, Complete Volume} }
Published in: OASIcs, Volume 111, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)
Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022). Open Access Series in Informatics (OASIcs), Volume 111, pp. 0:i-0:xiv, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{dorai_et_al:OASIcs.Microservices.2020-2022.0, author = {Dorai, Gokila and Gabbrielli, Maurizio and Manzonetto, Giulio and Osmani, Aomar and Prandini, Marco and Zavattaro, Gianluigi and Zimmermann, Olaf}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)}, pages = {0:i--0:xiv}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-306-5}, ISSN = {2190-6807}, year = {2023}, volume = {111}, editor = {Dorai, Gokila and Gabbrielli, Maurizio and Manzonetto, Giulio and Osmani, Aomar and Prandini, Marco and Zavattaro, Gianluigi and Zimmermann, Olaf}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Microservices.2020-2022.0}, URN = {urn:nbn:de:0030-drops-194624}, doi = {10.4230/OASIcs.Microservices.2020-2022.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: OASIcs, Volume 111, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)
Antonio Brogi. Microservices Beyond COVID-19 (Invited Paper). In Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022). Open Access Series in Informatics (OASIcs), Volume 111, pp. 1:1-1:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{brogi:OASIcs.Microservices.2020-2022.1, author = {Brogi, Antonio}, title = {{Microservices Beyond COVID-19}}, booktitle = {Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)}, pages = {1:1--1:3}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-306-5}, ISSN = {2190-6807}, year = {2023}, volume = {111}, editor = {Dorai, Gokila and Gabbrielli, Maurizio and Manzonetto, Giulio and Osmani, Aomar and Prandini, Marco and Zavattaro, Gianluigi and Zimmermann, Olaf}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Microservices.2020-2022.1}, URN = {urn:nbn:de:0030-drops-194637}, doi = {10.4230/OASIcs.Microservices.2020-2022.1}, annote = {Keywords: Microservice-based systems} }
Published in: OASIcs, Volume 111, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)
Tomas Cerny and Davide Taibi. Microservice-Aware Static Analysis: Opportunities, Gaps, and Advancements. In Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022). Open Access Series in Informatics (OASIcs), Volume 111, pp. 2:1-2:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{cerny_et_al:OASIcs.Microservices.2020-2022.2, author = {Cerny, Tomas and Taibi, Davide}, title = {{Microservice-Aware Static Analysis: Opportunities, Gaps, and Advancements}}, booktitle = {Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)}, pages = {2:1--2:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-306-5}, ISSN = {2190-6807}, year = {2023}, volume = {111}, editor = {Dorai, Gokila and Gabbrielli, Maurizio and Manzonetto, Giulio and Osmani, Aomar and Prandini, Marco and Zavattaro, Gianluigi and Zimmermann, Olaf}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Microservices.2020-2022.2}, URN = {urn:nbn:de:0030-drops-194647}, doi = {10.4230/OASIcs.Microservices.2020-2022.2}, annote = {Keywords: Microservice Architecture, Static Analysis, Reasoning, Decentralization} }
Published in: OASIcs, Volume 111, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)
Luís Cruz-Filipe, Anne Madsen, Fabrizio Montesi, and Marco Peressotti. Modular Choreographies: Bridging Alice and Bob Notation to Java. In Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022). Open Access Series in Informatics (OASIcs), Volume 111, pp. 3:1-3:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{cruzfilipe_et_al:OASIcs.Microservices.2020-2022.3, author = {Cruz-Filipe, Lu{\'\i}s and Madsen, Anne and Montesi, Fabrizio and Peressotti, Marco}, title = {{Modular Choreographies: Bridging Alice and Bob Notation to Java}}, booktitle = {Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)}, pages = {3:1--3:18}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-306-5}, ISSN = {2190-6807}, year = {2023}, volume = {111}, editor = {Dorai, Gokila and Gabbrielli, Maurizio and Manzonetto, Giulio and Osmani, Aomar and Prandini, Marco and Zavattaro, Gianluigi and Zimmermann, Olaf}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Microservices.2020-2022.3}, URN = {urn:nbn:de:0030-drops-194650}, doi = {10.4230/OASIcs.Microservices.2020-2022.3}, annote = {Keywords: Choreographic Programming, Choreographies, Modularity} }
Published in: OASIcs, Volume 111, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)
Oliver Cvetkovski, Carlo Field, Davide Trinchi, Christof Marti, and Josef Spillner. ZVAX - A Microservice Reference Architecture for Nation-Scale Pandemic Management. In Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022). Open Access Series in Informatics (OASIcs), Volume 111, pp. 4:1-4:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{cvetkovski_et_al:OASIcs.Microservices.2020-2022.4, author = {Cvetkovski, Oliver and Field, Carlo and Trinchi, Davide and Marti, Christof and Spillner, Josef}, title = {{ZVAX - A Microservice Reference Architecture for Nation-Scale Pandemic Management}}, booktitle = {Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)}, pages = {4:1--4:16}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-306-5}, ISSN = {2190-6807}, year = {2023}, volume = {111}, editor = {Dorai, Gokila and Gabbrielli, Maurizio and Manzonetto, Giulio and Osmani, Aomar and Prandini, Marco and Zavattaro, Gianluigi and Zimmermann, Olaf}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Microservices.2020-2022.4}, URN = {urn:nbn:de:0030-drops-194669}, doi = {10.4230/OASIcs.Microservices.2020-2022.4}, annote = {Keywords: Nation-scale applications, microservices, digital transformation} }
Published in: OASIcs, Volume 111, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)
Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, and Gianluigi Zavattaro. Custom Serverless Function Scheduling Policies: An APP Tutorial. In Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022). Open Access Series in Informatics (OASIcs), Volume 111, pp. 5:1-5:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{depalma_et_al:OASIcs.Microservices.2020-2022.5, author = {De Palma, Giuseppe and Giallorenzo, Saverio and Mauro, Jacopo and Trentin, Matteo and Zavattaro, Gianluigi}, title = {{Custom Serverless Function Scheduling Policies: An APP Tutorial}}, booktitle = {Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)}, pages = {5:1--5:16}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-306-5}, ISSN = {2190-6807}, year = {2023}, volume = {111}, editor = {Dorai, Gokila and Gabbrielli, Maurizio and Manzonetto, Giulio and Osmani, Aomar and Prandini, Marco and Zavattaro, Gianluigi and Zimmermann, Olaf}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Microservices.2020-2022.5}, URN = {urn:nbn:de:0030-drops-194671}, doi = {10.4230/OASIcs.Microservices.2020-2022.5}, annote = {Keywords: Serverless, Function Scheduling, Declarative Languages, Tutorial} }
Published in: OASIcs, Volume 111, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, and Florian Rademacher. Model-Driven Code Generation for Microservices: Service Models. In Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022). Open Access Series in Informatics (OASIcs), Volume 111, pp. 6:1-6:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{giallorenzo_et_al:OASIcs.Microservices.2020-2022.6, author = {Giallorenzo, Saverio and Montesi, Fabrizio and Peressotti, Marco and Rademacher, Florian}, title = {{Model-Driven Code Generation for Microservices: Service Models}}, booktitle = {Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)}, pages = {6:1--6:17}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-306-5}, ISSN = {2190-6807}, year = {2023}, volume = {111}, editor = {Dorai, Gokila and Gabbrielli, Maurizio and Manzonetto, Giulio and Osmani, Aomar and Prandini, Marco and Zavattaro, Gianluigi and Zimmermann, Olaf}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Microservices.2020-2022.6}, URN = {urn:nbn:de:0030-drops-194688}, doi = {10.4230/OASIcs.Microservices.2020-2022.6}, annote = {Keywords: Microservices, Model-driven Engineering, Code Generation, Jolie APIs} }
Published in: OASIcs, Volume 111, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)
Claudio Guidi. Towards Self-Architecting Autonomic Microservices. In Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022). Open Access Series in Informatics (OASIcs), Volume 111, pp. 7:1-7:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{guidi:OASIcs.Microservices.2020-2022.7, author = {Guidi, Claudio}, title = {{Towards Self-Architecting Autonomic Microservices}}, booktitle = {Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)}, pages = {7:1--7:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-306-5}, ISSN = {2190-6807}, year = {2023}, volume = {111}, editor = {Dorai, Gokila and Gabbrielli, Maurizio and Manzonetto, Giulio and Osmani, Aomar and Prandini, Marco and Zavattaro, Gianluigi and Zimmermann, Olaf}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Microservices.2020-2022.7}, URN = {urn:nbn:de:0030-drops-194696}, doi = {10.4230/OASIcs.Microservices.2020-2022.7}, annote = {Keywords: Autonomic computing, microservices, architectures} }
Published in: OASIcs, Volume 111, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)
Florian Rademacher. Correct-By-Construction Microservices with Model-Driven Engineering: The Case for Architectural Pattern Conformance Checking and Pattern-Conform Code Generation. In Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022). Open Access Series in Informatics (OASIcs), Volume 111, pp. 8:1-8:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{rademacher:OASIcs.Microservices.2020-2022.8, author = {Rademacher, Florian}, title = {{Correct-By-Construction Microservices with Model-Driven Engineering: The Case for Architectural Pattern Conformance Checking and Pattern-Conform Code Generation}}, booktitle = {Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)}, pages = {8:1--8:25}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-306-5}, ISSN = {2190-6807}, year = {2023}, volume = {111}, editor = {Dorai, Gokila and Gabbrielli, Maurizio and Manzonetto, Giulio and Osmani, Aomar and Prandini, Marco and Zavattaro, Gianluigi and Zimmermann, Olaf}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Microservices.2020-2022.8}, URN = {urn:nbn:de:0030-drops-194706}, doi = {10.4230/OASIcs.Microservices.2020-2022.8}, annote = {Keywords: Microservice Architecture, Architectural Patterns, Model-Driven Engineering, Static Model Analysis, Model Validation, Code Generation, Architectural Pattern Conformance Checking} }
Published in: OASIcs, Volume 111, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)
Pablo Serrano-Gutierrez, Inmaculada Ayala, and Lidia Fuentes. Applying QoS in FaaS Applications: A Software Product Line Approach. In Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022). Open Access Series in Informatics (OASIcs), Volume 111, pp. 9:1-9:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{serranogutierrez_et_al:OASIcs.Microservices.2020-2022.9, author = {Serrano-Gutierrez, Pablo and Ayala, Inmaculada and Fuentes, Lidia}, title = {{Applying QoS in FaaS Applications: A Software Product Line Approach}}, booktitle = {Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)}, pages = {9:1--9:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-306-5}, ISSN = {2190-6807}, year = {2023}, volume = {111}, editor = {Dorai, Gokila and Gabbrielli, Maurizio and Manzonetto, Giulio and Osmani, Aomar and Prandini, Marco and Zavattaro, Gianluigi and Zimmermann, Olaf}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Microservices.2020-2022.9}, URN = {urn:nbn:de:0030-drops-194711}, doi = {10.4230/OASIcs.Microservices.2020-2022.9}, annote = {Keywords: FaaS, Serverless, QoS, Software Product Line, Feature Model} }
Published in: LIPIcs, Volume 140, 30th International Conference on Concurrency Theory (CONCUR 2019)
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, and Gianluigi Zavattaro. A Sound Algorithm for Asynchronous Session Subtyping. In 30th International Conference on Concurrency Theory (CONCUR 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 140, pp. 38:1-38:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{bravetti_et_al:LIPIcs.CONCUR.2019.38, author = {Bravetti, Mario and Carbone, Marco and Lange, Julien and Yoshida, Nobuko and Zavattaro, Gianluigi}, title = {{A Sound Algorithm for Asynchronous Session Subtyping}}, booktitle = {30th International Conference on Concurrency Theory (CONCUR 2019)}, pages = {38:1--38:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-121-4}, ISSN = {1868-8969}, year = {2019}, volume = {140}, editor = {Fokkink, Wan and van Glabbeek, Rob}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.38}, URN = {urn:nbn:de:0030-drops-109408}, doi = {10.4230/LIPIcs.CONCUR.2019.38}, annote = {Keywords: Session types, Concurrency, Subtyping, Algorithm} }
Published in: LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015)
Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, and Jakub Zwolakowski. Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). In 26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{dicosmo_et_al:LIPIcs.CONCUR.2015.1, author = {Di Cosmo, Roberto and Lienhardt, Michael and Mauro, Jacopo and Zacchiroli, Stefano and Zavattaro, Gianluigi and Zwolakowski, Jakub}, title = {{Automatic Application Deployment in the Cloud: from Practice to Theory and Back}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, pages = {1--16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.1}, URN = {urn:nbn:de:0030-drops-53956}, doi = {10.4230/LIPIcs.CONCUR.2015.1}, annote = {Keywords: Automatic deployment, Planning, DevOps, Constraint Programming} }
Published in: LIPIcs, Volume 18, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, and Gianluigi Zavattaro. On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012). Leibniz International Proceedings in Informatics (LIPIcs), Volume 18, pp. 289-300, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{delzanno_et_al:LIPIcs.FSTTCS.2012.289, author = {Delzanno, Giorgio and Sangnier, Arnaud and Traverso, Riccardo and Zavattaro, Gianluigi}, title = {{On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks}}, booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)}, pages = {289--300}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-47-7}, ISSN = {1868-8969}, year = {2012}, volume = {18}, editor = {D'Souza, Deepak and Radhakrishnan, Jaikumar and Telikepalli, Kavitha}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.289}, URN = {urn:nbn:de:0030-drops-38671}, doi = {10.4230/LIPIcs.FSTTCS.2012.289}, annote = {Keywords: Broadcast Communication, Parameterized Verification, Complexity} }
Feedback for Dagstuhl Publishing