Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou & Elena Giachino (2009):
Amalgamating sessions and methods in object-oriented languages with generics.
Theor. Comput. Sci. 410,
pp. 142–167,
doi:10.1016/j.tcs.2008.09.016.
Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau & Marc Pouzet (2006):
N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems.
In: Principles of Programming Languages (POPL).
ACM Press,
pp. 180–193,
doi:10.1145/1111037.1111054.
Robert DeLine & Manuel Fähndrich (2001):
Enforcing high-level protocols in low-level software.
SIGPLAN Not. 36,
pp. 59–69,
doi:10.1145/381694.378811.
Robert Deline & Manuel Fahndrich (2004):
Typestates for Objects.
In: European Conference on Object-Oriented Programming (ECOOP).
Springer,
pp. 465–490,
doi:10.1007/978-3-540-24851-4_21.
Pierre-Malo Deniélou & Nobuko Yoshida (2011):
Dynamic multirole session types.
In: ACM Symposium on Principles of Programming Languages.
ACM,
New York, NY, USA,
pp. 435–446,
doi:10.1145/1926385.1926435.
Mariangiola Dezani-Ciancaglini & Ugo De'Liguoro (2010):
Sessions and session types: an overview.
In: Proceedings of the 6th international conference on Web services and formal methods,
WS-FM'09.
Springer-Verlag,
pp. 1–28,
doi:10.1007/978-3-642-14458-5_1.
Dominic Duggan & Jianhua Yao (2012):
Static Sessional Dataflow.
In: European Conference on Object-Oriented Programming (ECOOP),
Beijing,
doi:10.1007/978-3-642-31057-7_22.
Manuel Fahndrich & Robert DeLine (2002):
Adoption and focus: practical linear types for imperative programming.
In: PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation.
ACM,
New York, NY, USA,
pp. 13–24,
doi:10.1145/512529.512532.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2008):
Multiparty asynchronous session types.
SIGPLAN Not. 43,
pp. 273–284,
doi:10.1145/1328897.1328472.
Trevor Jim, J. Greg Morrisett, Dan Grossman, Michael W. Hicks, James Cheney & Yanling Wang (2002):
Cyclone: A Safe Dialect of C.
In: USENIX Annual Technical Conference.
USENIX Association,
Berkeley, CA, USA,
pp. 275–288.
Gilles Kahn (1974):
The semantics of a simple language for parallel programming.
In: Information Processing 74: Proceedings of the IFIP Congress.
North-Holland,
Stockholm, Sweden,
pp. 471–475.
N. Kobayashi (2003):
Type-based information flow analysis for the pi-calculus.
Acta Informatica,
doi:10.1007/s00236-005-0179-x.
E.A. Lee & D.G. Messerschmitt (1987):
Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing.
IEEE Trans. Computers 36(1),
pp. 24–35,
doi:10.1109/TC.1987.5009446.
Edward Lee & David Messerschmitt:
Synchronous Data Flow: Describing Signal Processing Algorithm for Parallel Computation.
In: COMPCON'87, Digest of Papers, Thirty-Second IEEE Computer Society International Conference, San Francisco, California, USA, February 23-27, 1987,
pp. 310–315.
William Thies (2009):
Language and Compiler Support for Stream Programs.
Ph.d. thesis.
Massachusetts Institute of Technology,
Cambridge, MA.
Jesse A. Tov & Riccardo Pucella (2011):
Practical affine types.
In: Principles of Programming Languages (POPL).
ACM,
New York, NY,
pp. 447–458,
doi:10.1145/1926385.1926436.
Stavros Tripakis, Dai N. Bui, Marc Geilen, Bert Rodiers & Edward A. Lee (2013):
Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs.
ACM Trans. Embedded Comput. Syst. 12(3),
pp. 83,
doi:10.1145/2442116.2442133.
Vasco Vasconcelos, António Ravara & Simon Gay (2004):
Session Types for Functional Multithreading.
In: CONCUR'04.
Springer-Verlag,
pp. 497–511,
doi:10.1007/978-3-540-28644-8_32.
Philip Wadler (1990):
Linear Types Can Change the World!.
In: Programming Concepts and Methods.
North.
eptcs@eptcs.org