Kevin Bierhoff & Jonathan Aldrich (2008):
PLURAL: checking protocol compliance under aliasing.
In: ICSE Companion '08.
ACM Press,
pp. 971–972,
doi:10.1145/1370175.1370213.
Joana Campos (2010):
Linear and Shared Objects in Concurrent Programming.
University of Lisbon.
Robert DeLine & Manuel Fähndrich (2003):
The Fugue protocol checker: Is your software Baroque?.
Technical Report MSR-TR-2004-07.
Microsoft Research.
Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida & Sophia Drossopolou (2006):
Session Types for Object-Oriented Languages.
In: ECOOP'06,
LNCS 4067.
Springer,
pp. 328–352,
doi:10.1007/11785477_20.
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern & Sophia Drossopolou (2005):
A Distributed Object-Oriented Language with Session Types.
In: TGC'05,
LNCS 3705.
Springer,
pp. 299–318,
doi:10.1007/11580850_16.
Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, James R. Larus & Steven Levi (2006):
Language Support for Fast and Reliable Message-based Communication in Singularity OS.
In: EuroSys.
ACM Press,
pp. 177–190,
doi:10.1145/1217935.1217953.
Cormac Flanagan & Mart\'ın Abadi (1999):
Types for Safe Locking.
In: ESOP'99,
LNCS 1576.
Springer,
pp. 91–108,
doi:10.1007/3-540-49099-X_7.
Simon Gay, Vasco T. Vasconcelos, António Ravara, Nils Gesbert & Alexandre Z. Caldeira (2010):
Modular Session Types for Distributed Object-Oriented Programming.
In: POPL'10.
ACM Press,
pp. 299–312,
doi:10.1145/1706299.1706335.
Simon J. Gay & Malcolm J. Hole (2005):
Subtyping for Session Types in the Pi Calculus.
Acta Informatica 42(2/3),
pp. 191–225,
doi:10.1007/s00236-005-0177-z.
Simon J. Gay, António Ravara & Vasco T. Vasconcelos (2003):
Session Types for Inter-Process Communication.
Technical Report TR-2003-133.
Comp. Sci., Univ. Glasgow.
K. Honda, N. Yoshida & M. Carbone (2008):
Multiparty Asynchronous Session Types.
In: POPL'08.
ACM Press,
pp. 273–284,
doi:10.1145/1328438.1328472.
Kohei Honda (1993):
Types for Dyadic Interaction.
In: CONCUR'93,
LNCS 715.
Springer,
pp. 509–523,
doi:10.1007/3-540-57208-2_35.
Kohei Honda, Vasco Vasconcelos & Makoto Kubo (1998):
Language Primitives and Type Discipline for Structured Communication-Based Programming.
In: ESOP'98,
LNCS 1381.
Springer,
pp. 122–138,
doi:10.1007/BFb0053567.
Filipe Militão (2008):
Design and Implementation of a Behaviorally Typed Programming System for Web Services.
New University of Lisbon.
Dimitris Mostrous (2005):
Moose: a Minimal Object Oriented Language with Session Types.
University of London.
Matthias Neubauer & Peter Thiemann (2004):
An Implementation of Session Types.
In: PADL'04,
LNCS 3057.
Springer,
pp. 56–70,
doi:10.1007/978-3-540-24836-1_5.
Oscar Nierstrasz (1995):
Regular types for active objects.
In: Object-Oriented Software Composition.
Prentice Hall,
pp. 99–121.
Robert E. Strom & Shaula Yemini (1986):
Typestate: A programming language concept for enhancing software reliability.
IEEE Transactions on Software Engeneering 12(1),
pp. 157–171.
Kaku Takeuchi, Kohei Honda & Makoto Kubo (1994):
An Interaction-Based Language and its Typing System.
In: Parle'94,
LNCS 817.
Springer,
pp. 398–413,
doi:10.1007/3-540-58184-7_118.
Antonio Vallecillo, Vasco T. Vasconcelos & António Ravara (2006):
Typing the Behavior of Objects and Components using Session Types.
Fundamenta Informaticæ 73(4),
pp. 583–598,
doi:10.1016/S1571-0661(05)80382-2.
Vasco T. Vasconcelos (2009):
Session Types for Linear Multithreaded Functional Programming.
In: PPDP'09.
ACM Press,
pp. 1–6,
doi:10.1145/1599410.1599411.
Vasco T. Vasconcelos (2009):
SFM, chapter Fundamentals of Session Types,
pp. 158–186,
LNCS 5569.
Springer,
doi:10.1007/978-3-642-01918-0_4.
Vasco T. Vasconcelos, Simon J. Gay & António Ravara (2006):
Typechecking a Multithreaded Functional Language with Session Types.
Theoretical Computer Science 368(1–2),
pp. 64–87,
doi:10.1016/j.tcs.2006.06.028.
Vasco T. Vasconcelos, Simon J. Gay, António Ravara, Nils Gesbert & Alexandre Z. Caldeira (2009):
Dynamic Interfaces.
FOOL.
eptcs@eptcs.org