default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID38th FORTE 2018: Madrid, Spain
- Christel Baier, Luís Caires:
Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings. Lecture Notes in Computer Science 10854, Springer 2018, ISBN 978-3-319-92611-7 - Yehia Abd Alrahman
, Rocco De Nicola, Giulio Garbi, Michele Loreti:
A Distributed Coordination Infrastructure for Attribute-Based Interaction. 1-20 - Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli:
Applied Choreographies. 21-40 - Alain Girault, Gregor Gößler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi:
Monotonic Prefix Consistency in Distributed Systems. 41-57 - Ruggero Lanotte, Massimo Merro, Andrei Munteanu:
A Modest Security Analysis of Cyber-Physical Systems: A Case Study. 58-78 - Daniele Nantes, Jorge A. Pérez:
Relating Process Languages for Security and Communication Correctness (Extended Abstract). 79-100 - Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira:
A Calculus for Modeling Floating Authorizations. 101-120 - Laure Petrucci, Jaco van de Pol:
Parameter Synthesis Algorithms for Parametric Interval Markov Chains. 121-140 - Alexander Sjösten, Daniel Hedin, Andrei Sabelfeld:
Information Flow Tracking for Side-Effectful Libraries. 141-160 - Kim Völlinger, Samira Akili:
On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency. 161-180 - Jonas Westman, Mattias Nyberg:
Preserving Contract Satisfiability Under Non-monotonic Composition. 181-195
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.
last updated on 2024-11-11 21:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
