|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pierre-Malo Deniélou, Nobuko Yoshida |
Multiparty Session Types Meet Communicating Automata.  |
ESOP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Malo Deniélou, Nobuko Yoshida |
Dynamic multirole session types. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou |
Secure Execution of Distributed Session Programs |
PLACES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Malo Deniélou, Nobuko Yoshida |
Buffered Communication Analysis in Distributed Multiparty Sessions. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nobuko Yoshida, Pierre-Malo Deniélou, Andi Bejleri, Raymond Hu |
Parameterised Multiparty Session Types. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer |
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. |
CSF |
2009 |
DBLP DOI BibTeX RDF |
multiparty sessions, cryptography, type systems, ML |
| 1 | Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer |
A secure compiler for session abstractions. |
Journal of Computer Security |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer |
Secure Implementations for Typed Session Abstractions. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Corin, Pierre-Malo Deniélou |
A Protocol Compiler for Secure Sessions in ML. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Malo Deniélou, James J. Leifer |
Abstraction preservation and subtyping in distributed languages. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
serialisation and distributed computation, subtyping, type theory, programming language semantics, module systems |
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")