![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
TGC 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.