Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Deniélou, Pierre-Malo
and
Yoshida, Nobuko
2010.
CONCUR 2010 - Concurrency Theory.
Vol. 6269,
Issue. ,
p.
343.
Gay, Simon J.
Vasconcelos, Vasco T.
Ravara, António
Gesbert, Nils
and
Caldeira, Alexandre Z.
2010.
Modular session types for distributed object-oriented programming.
p.
299.
Dezani-Ciancaglini, Mariangiola
and
de’Liguoro, Ugo
2010.
Web Services and Formal Methods.
Vol. 6194,
Issue. ,
p.
1.
Gay, Simon J.
Vasconcelos, Vasco T.
Ravara, António
Gesbert, Nils
and
Caldeira, Alexandre Z.
2010.
Modular session types for distributed object-oriented programming.
ACM SIGPLAN Notices,
Vol. 45,
Issue. 1,
p.
299.
Bono, Viviana
Messa, Chiara
and
Padovani, Luca
2011.
Programming Languages and Systems.
Vol. 6602,
Issue. ,
p.
57.
Bono, Viviana
and
Padovani, Luca
2011.
Polymorphic Endpoint Types for Copyless Message Passing.
Electronic Proceedings in Theoretical Computer Science,
Vol. 59,
Issue. ,
p.
52.
Lapadula, A.
Pugliese, R.
and
Tiezzi, F.
2011.
A WSDL-based type system for asynchronous WS-BPEL processes.
Formal Methods in System Design,
Vol. 38,
Issue. 2,
p.
119.
Kouzapas, Dimitrios
Yoshida, Nobuko
and
Honda, Kohei
2011.
Formal Techniques for Distributed Systems.
Vol. 6722,
Issue. ,
p.
228.
Vasconcelos, Vasco T.
2012.
Fundamentals of session types.
Information and Computation,
Vol. 217,
Issue. ,
p.
52.
Bono, Viviana
and
Padovani, Luca
2012.
Typing Copyless Message Passing.
Logical Methods in Computer Science,
Vol. Volume 8, Issue 1,
Issue. ,
Charalambides, Minas
Dinges, Peter
and
Agha, Gul
2012.
Parameterized Concurrent Multi-Party Session Types.
Electronic Proceedings in Theoretical Computer Science,
Vol. 91,
Issue. ,
p.
16.
Wadler, Philip
2012.
Propositions as sessions.
ACM SIGPLAN Notices,
Vol. 47,
Issue. 9,
p.
273.
Wadler, Philip
2012.
Propositions as sessions.
p.
273.
Lozes, Étienne
and
Villard, Jules
2012.
Web Services and Formal Methods.
Vol. 7176,
Issue. ,
p.
2.
Toninho, Bernardo
Caires, Luis
and
Pfenning, Frank
2013.
Programming Languages and Systems.
Vol. 7792,
Issue. ,
p.
350.
Bono, Viviana
Padovani, Luca
and
Tosatto, Andrea
2013.
Formal Techniques for Distributed Systems.
Vol. 7892,
Issue. ,
p.
83.
Giunti, Marco
2013.
Algorithmic type checking for a pi-calculus with name matching and session types.
The Journal of Logic and Algebraic Programming,
Vol. 82,
Issue. 8,
p.
263.
Bernardi, Giovanni
Dardha, Ornela
Gay, Simon J.
and
Kouzapas, Dimitrios
2014.
Trustworthy Global Computing.
Vol. 8902,
Issue. ,
p.
51.
Toninho, Bernardo
Caires, Luis
and
Pfenning, Frank
2014.
Trustworthy Global Computing.
Vol. 8902,
Issue. ,
p.
159.
Chen, Tzu-Chun
Dezani-Ciancaglini, Mariangiola
and
Yoshida, Nobuko
2014.
On the Preciseness of Subtyping in Session Types.
p.
135.
Discussions
No Discussions have been published for this article.