|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro |
Compliance for reversible client/server interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BEAT ![In: Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014., pp. 35-42, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carbone (eds.) |
Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BEAT ![The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ornela Dardha |
Recursive Session Types Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BEAT ![In: Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014., pp. 27-34, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez 0001 |
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BEAT ![In: Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014., pp. 9-18, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez 0001, Hugo Torres Vieira |
Dynamic Role Authorization in Multiparty Conversations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BEAT ![In: Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014., pp. 1-8, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rumyana Neykova, Laura Bocchi, Nobuko Yoshida |
Timed Runtime Monitoring for Multiparty Conversations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BEAT ![In: Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014., pp. 19-26, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|