Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Gay, Simon
and
Hole, Malcolm
2005.
Subtyping for session types in the pi calculus.
Acta Informatica,
Vol. 42,
Issue. 2-3,
p.
191.
Dezani-Ciancaglini, Mariangiola
Yoshida, Nobuko
Ahern, Alexander
and
Drossopoulou, Sophia
2005.
Trustworthy Global Computing.
Vol. 3705,
Issue. ,
p.
299.
Bonelli, Eduardo
Compagnoni, Adriana
and
Gunter, Elsa
2005.
Typechecking Safe Process Synchronization.
Electronic Notes in Theoretical Computer Science,
Vol. 138,
Issue. 1,
p.
3.
Vasconcelos, Vasco T.
Gay, Simon J.
and
Ravara, António
2006.
Type checking a multithreaded functional language with session types.
Theoretical Computer Science,
Vol. 368,
Issue. 1-2,
p.
64.
Garralda, Pablo
Compagnoni, Adriana
and
Dezani-Ciancaglini, Mariangiola
2006.
BASS.
p.
61.
Dezani-Ciancaglini, Mariangiola
Mostrous, Dimitris
Yoshida, Nobuko
and
Drossopoulou, Sophia
2006.
ECOOP 2006 – Object-Oriented Programming.
Vol. 4067,
Issue. ,
p.
328.
Yoshida, Nobuko
and
Vasconcelos, Vasco T.
2007.
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication.
Electronic Notes in Theoretical Computer Science,
Vol. 171,
Issue. 4,
p.
73.
Mostrous, Dimitris
and
Yoshida, Nobuko
2007.
Typed Lambda Calculi and Applications.
Vol. 4583,
Issue. ,
p.
321.
Carbone, Marco
Honda, Kohei
and
Yoshida, Nobuko
2007.
Programming Languages and Systems.
Vol. 4421,
Issue. ,
p.
2.
Coppo, Mario
Dezani-Ciancaglini, Mariangiola
and
Yoshida, Nobuko
2007.
Formal Methods for Open Object-Based Distributed Systems.
Vol. 4468,
Issue. ,
p.
1.
Dezani-Ciancaglini, Mariangiola
Giachino, Elena
Drossopoulou, Sophia
and
Yoshida, Nobuko
2007.
Formal Methods for Components and Objects.
Vol. 4709,
Issue. ,
p.
207.
GARRALDA, PABLO
BONELLI, EDUARDO
COMPAGNONI, ADRIANA
and
DEZANI-CIANCAGLINI, MARIANGIOLA
2007.
Boxed ambients with communication interfaces.
Mathematical Structures in Computer Science,
Vol. 17,
Issue. 4,
p.
587.
Bonelli, Eduardo
and
Compagnoni, Adriana
2008.
Trustworthy Global Computing.
Vol. 4912,
Issue. ,
p.
240.
Dezani-Ciancaglini, Mariangiola
de’Liguoro, Ugo
and
Yoshida, Nobuko
2008.
Trustworthy Global Computing.
Vol. 4912,
Issue. ,
p.
257.
Bettini, Lorenzo
Capecchi, Sara
Dezani-Ciancaglini, Mariangiola
Giachino, Elena
and
Venneri, Betti
2008.
Concurrency, Graphs and Models.
Vol. 5065,
Issue. ,
p.
659.
GAY, SIMON J.
2008.
Bounded polymorphism in session types.
Mathematical Structures in Computer Science,
Vol. 18,
Issue. 5,
p.
895.
Kolundžija, Marija
2009.
Web Services and Formal Methods.
Vol. 5387,
Issue. ,
p.
175.
Dezani-Ciancaglini, Mariangiola
Drossopoulou, Sophia
Mostrous, Dimitris
and
Yoshida, Nobuko
2009.
Objects and session types.
Information and Computation,
Vol. 207,
Issue. 5,
p.
595.
Coppo, Mario
and
Dezani-Ciancaglini, Mariangiola
2009.
Trustworthy Global Computing.
Vol. 5474,
Issue. ,
p.
104.
Bruni, Roberto
De Nicola, Rocco
Loreti, Michele
and
Mezzina, Leonardo Gaetano
2009.
Trustworthy Global Computing.
Vol. 5474,
Issue. ,
p.
69.
Discussions
No Discussions have been published for this article.