Alex: A lexical analyser generator for Haskell.
http://www.haskell.org/alex.
Alexandre Alves, Assaf Arkin, Sid Askary, Ben Bloch, Francisco Curbera, Yaron Goland, Neelakantan Kartha, Sterling, Dieter König, Vinkesh Mehta, Satish Thatte, Danny van der Rijn, Prasad Yendluri & Alex Yiu (2006):
Web Services Business Process Execution Language Version 2.0.
OASIS Committee Draft.
Available at http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf.
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino & Betti Venneri (2008):
Session and Union Types for Object Oriented Programming.
LNCS,
pp. 659–680.
Available at http://dx.doi.org/10.1007/978-3-540-68679-8_41.
Laura Bocchi, Kohei Honda, Emilio Tuosto & Nobuko Yoshida (2010):
A Theory of Design-by-Contract for Distributed Multiparty Interactions.
In: Gastin & Laroussinie,
pp. 162–176.
Available at http://dx.doi.org/10.1007/978-3-642-15375-4_12.
Laura Bocchi, Julien Lange & Emilio Tuosto (2011):
Amending Contracts for Choreographies.
In: ICE.
To appear.
Roberto Bruni, Ivan Lanese, Hernán Melgratti & Emilio Tuosto (2008):
Multiparty sessions in SOC.
In: Doug Lea & Gianluigi Zavattaro: COORDINATION'08,
LNCS 5052.
Springer,
pp. 67–82.
Available at http://www.di.unipi.it/~bruni/publications/multiparty.ps.gz.
Pierre-Malo Deniélou & Nobuko Yoshida (2010):
Buffered Communication Analysis in Distributed Multiparty Sessions.
In: Gastin & Laroussinie,
pp. 343–357.
Available at http://dx.doi.org/10.1007/978-3-642-15375-4_24.
Paul Gastin & Francoise Laroussinie (2010):
CONCUR 2010 – Concurrency Theory.
Lecture Notes in Computer Science 6269.
Springer.
Simon Gay & Malcolm Hole (1999):
Types and Subtypes for Client-Server Interactions.
In: Proceedings of the 1999 European Symposium on Programming, number 1576 in Lecture Notes in Computer Science.
Springer,
pp. 74–90.
Available at http://dx.doi.org/10.1007/3-540-49099-X_6.
Happy: The Parser Generator for Haskell.
http://www.haskell.org/happy.
Kohei Honda, Vasco T. Vasconcelos & Makoto Kubo (1998):
Language Primitives And Type Discipline For Structured Communication-Based Programming.
In: In ESOP, volume 1381 of LNCS.
Springer,
pp. 122–138.
Available at http://dx.doi.org/10.1007/BFb0053567.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2008):
Multiparty asynchronous session types.
In: POPL.
ACM,
New York, NY, USA,
pp. 273–284.
Available at http://doi.acm.org/10.1145/1328438.1328472.
Raymond Hu, Nobuko Yoshida & Kohei Honda (2008):
Session-based distributed programming in Java.
ECOOP, Springer LNCS 5142,
pp. 516–541.
Available at http://dx.doi.org/10.1007/978-3-540-70592-5_22.
Nickolas Kavantzas, David Burdett, Greg Ritzinger, Tony Fletcher, Yves Lafon & Charlton Barreto (2005):
Web Services Choreography Description Language Version 1.0.
World Wide Web Consortium, Candidate Recommendation CR-ws-cdl-10-20051109.
Available at http://www.w3.org/TR/2005/CR-ws-cdl-10-20051109.
Julien Lange:
VOSENID: A Modular Toolkit for Distributed Interactions.
http://www.cs.le.ac.uk/people/jl250/tools.
Matthias Neubauer & Peter Thiemann (2004):
An Implementation of Session Types.
In: In PADL, volume 3057 of LNCS.
Springer,
pp. 56–70.
Available at http://dx.doi.org/10.1007/978-3-540-24836-1_5.
presburger: Cooper's decision procedure for Presburger arithmetic.
http://hackage.haskell.org/package/presburger.
Riccardo Pucella & Jesse A. Tov (2008):
Haskell session types with (almost) no class.
In: Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell.
ACM,
New York, NY, USA,
pp. 25–36.
Available at http://doi.acm.org/10.1145/1411286.1411290.
Matthew Sackman & Susan Eisenbach (2008):
Session Types in Haskell: Updating Message Passing for the 21st Century.
Technical Report.
Imperial College London, Department of Computing.
Available at http://hdl.handle.net/10044/1/5918.
SAVARA and the "Testable Architecture" Methodology.
http://www.jboss.org/savara.