|
|
|
|
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.  |
BEAT  |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Carbone (eds.) |
Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014. |
BEAT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ornela Dardha |
Recursive Session Types Revisited. |
BEAT |
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. |
BEAT |
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. |
BEAT |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Rumyana Neykova, Laura Bocchi, Nobuko Yoshida |
Timed Runtime Monitoring for Multiparty Conversations. |
BEAT |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license