default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTGC 2014: Rome, Italy
- Matteo Maffei, Emilio Tuosto:
Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8902, Springer 2014, ISBN 978-3-662-45916-4 - Ana Gualdina Almeida Matos
, José Fragoso Santos, Tamara Rezk:
An Information Flow Monitor for a Core of DOM - Introducing References and Live Primitives. 1-16 - Giorgio Bacci, Marino Miculan, Romeo Rizzi:
Finding a Forest in a Tree - The Matching Problem for Wide Reactive Systems. 17-33 - Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari:
Automata for Analysing Service Contracts. 34-50 - Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas:
On Duality Relations for Session Types. 51-66 - Andrea Cerone, Matthew Hennessy:
Characterising Testing Preorders for Broadcasting Distributed Systems. 67-81 - Vincent Cheval, Stéphanie Delaune, Mark Ryan:
Tests for Establishing Security Properties. 82-96 - Vincenzo Ciancia, Matteo Sammartino:
A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours. 97-111 - Luca Fossati, Raymond Hu, Nobuko Yoshida:
Multiparty Session Nets. 112-127 - Jonathan Hayman:
Interaction and Causality in Digital Signature Exchange Protocols. 128-143 - Peter Thiemann:
Session Types with Gradual Typing. 144-158 - Bernardo Toninho, Luís Caires, Frank Pfenning:
Corecursion and Non-divergence in Session-Typed Processes. 159-175 - Roberto Vigo, Alessandro Celestini, Francesco Tiezzi, Rocco De Nicola, Flemming Nielson, Hanne Riis Nielson:
Trust-Based Enforcement of Security Policies. 176-191
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-14 20:48 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:
