|
69
|
Structured Communication-Centred Programming for Web Services
– Marco Carbone, Kohei Honda, Nobuko Yoshida
- 2007
|
|
41
|
Session Types for Object-Oriented Languages
– Mariangiola Dezani-ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou
- 2006
|
|
163
|
Language primitives and type discipline for structured communication-based programming
– Nobuko Yoshida, Vasco T. Vasconcelos
- 1998
|
|
84
|
Language support for fast and reliable messagebased communication in Singularity OS
– Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, James R. Larus, Steven Levi
- 2006
|
|
98
|
An Interaction-based Language and its Typing System
– Kaku Takeuchi, Kohei Honda, Makoto Kubo
- 1994
|
|
52
|
Subtyping for session types in the pi calculus
– Simon J Gay, Malcolm J Hole
- 2005
|
|
580
|
Types and Programming Languages
– B C Pierce
- 2002
|
|
202
|
Mobile Values, New Names, and Secure Communication
– Martín Abadi, Cédric Fournet
- 2001
|
|
699
|
A calculus for cryptographic protocols: The spi calculus
– Martin Abadi, Andrew D. Gordon
- 1999
|
|
23
|
Multisession session types for a distributed calculus
– Eduardo Bonelli, Adriana Compagnoni
- 2007
|
|
8
|
Conversation with Steve Ross-Talbot
– Stephen Sparkes
|
|
12
|
Cryptographically sound implementations for communicating processes
– Pedro Adão, Cédric Fournet
- 2006
|
|
68
|
Secure Implementation of Channel Abstractions
– Martin Abadi, Cédric Fournet, Georges Gonthier
- 2000
|
|
52
|
Multiparty asynchronous session types
– Kohei Honda, Nobuko Yoshida, Marco Carbone
- 2008
|
|
16
|
Asynchronous Session Types and Progress for Object-Oriented Languages
– Mariangiola Dezani-ciancaglini, Nobuko Yoshida
- 2007
|
|
16
|
Typechecking a multithreaded functional language with session types
– Vasco T. Vasconcelos, Simon J. Gay, António Ravara
- 2006
|
|
39
|
Correspondence assertions for process synchronization in concurrent communications
– Eduardo Bonelli, Adriana Compagnoni, Elsa Gunter
- 2005
|
|
872
|
On the Security of Public Key Protocols
– Danny Dolev, et al.
- 1983
|
|
8
|
Services Choreography Working Group
– Web
|
