Tag session-types [30 articles] Export

Recent papers classified by the tag session-types.

	Haskell Session Types with (Almost) No Class [My Copy] In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 25-36. by Riccardo Pucella, Jesse A. Tov posted to types session-types by ama08r on 2009-11-10 12:15:46 as along with 4 people pedagand shimomura tov keigoi
	Synchronous Multiparty Session Types [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 241 (03 July 2009), pp. 3-33. by Andi Bejleri, Nobuko Yoshida posted to session-types by ama08r on 2009-08-13 11:47:37 as
	Types and Subtypes for Client-Server Interactions [My Copy] Programming Languages and Systems (1999), pp. 640-640. by Simon Gay, Malcolm Hole posted to session-types by ama08r on 2009-05-26 17:13:30 as
	Type checking a multithreaded functional language with session types [My Copy] Theor. Comput. Sci., Vol. 368, No. 1-2. (2006), pp. 64-87. by Vasco T. Vasconcelos, Simon J. Gay, Ant&\#243;nio Ravara posted to multi-threaded session-types by ama08r on 2009-05-26 17:13:24 as
	An Implementation of Session Types [My Copy] In In PADL, volume 3057 of LNCS, Vol. 3057 (2004), pp. 56-70. by Matthias Neubauer, Peter Thiemann posted to session-types by ama08r on 2009-05-26 17:12:50 as
	Bounded Session Types for Object Oriented Languages [My Copy] Formal Methods for Components and Objects (2007), pp. 207-245. by Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida posted to object-oriented session-types by ama08r on 2009-05-26 16:53:55 as
	An Interaction-based Language and its Typing System [My Copy] In In PARLE’94, volume 817 of LNCS (1994), pp. 398-413. by Kaku Takeuchi, Kohei Honda, Makoto Kubo posted to session-types by ama08r on 2009-05-26 16:52:14 as
	A Distributed Object-Oriented Language with Session Types [My Copy] In In Symposium on Trustworthy Global Computing, LNCS (2005), pp. 299-318. by Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Er Ahern, Sophia Drossopoulou posted to object-oriented session-types by ama08r on 2009-05-26 16:51:55 as
	Session Types for Inter-Process Communication [My Copy] (2003) by Simon Gay, Vasco Vasconcelos, Antonio Ravara, Simon Gay, Vasco Vasconcelos, António Ravara posted to session-types by ama08r on 2009-05-26 16:51:27 as
	Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 171, No. 4. (July 2007), pp. 73-93. by Nobuko Yoshida, Vasco T. Vasconcelos posted to session-types theory by ama08r on 2009-05-26 16:51:11 as along with 3 people msakai keigoi shimomura
	Global Progress in Dynamically Interleaved Multiparty Sessions [My Copy] CONCUR 2008 - Concurrency Theory (2008), pp. 418-433. by Lorenzo Bettini, Mario Coppo, Loris D’antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida posted to session-types to-be-cited by ama08r on 2009-05-26 16:51:03 as along with 1 person msakai
	Session Types for Object-Oriented Languages [My Copy] ECOOP 2006 – Object-Oriented Programming (2006), pp. 328-352. by Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou posted to object-oriented session-types by ama08r on 2009-02-25 12:45:01 as along with 2 people keigoi shimomura
	Multiparty Sessions in SOC [My Copy] Coordination Models and Languages (2008), pp. 67-82. by Roberto Bruni, Ivan Lanese, Hernán Melgratti, Emilio Tuosto posted to concurrency session-types by ama08r on 2008-12-04 11:41:48 as along with 1 person jago
	Two Session Typing Systems for Higher-Order Mobile Processes [My Copy] Typed Lambda Calculi and Applications (2007), pp. 321-335. by Dimitris Mostrous, Nobuko Yoshida posted to mobile-processes session-types theory by ama08r on 2008-11-12 10:36:14 as
	A theoretical basis of communication-centred concurrent programming [My Copy] (2006) by Marco Carbone, Kohei, Robin Milner, Gary Brown, Steve Ross-Talbot posted to session-types by ama08r on 2008-11-11 16:40:04 as
	Typing the Behavior of Software Components using Session Types [My Copy] Fundam. Inf., Vol. 73, No. 4. (2006), pp. 583-598. by Antonio Vallecillo, Vasco T. Vasconcelos, António Ravara posted to session-types by ama08r on 2008-11-11 16:39:14 as
	Types for Dyadic Interaction Kohei Honda [My Copy] posted to session-types by ama08r on 2008-11-11 16:38:54 as
	Session-Based Distributed Programming in Java [My Copy] ECOOP 2008 – Object-Oriented Programming (2008), pp. 516-541. by Raymond Hu, Nobuko Yoshida, Kohei Honda posted to session-types by ama08r on 2008-11-11 16:37:24 as
	Asynchronous Session Types and Progress for Object Oriented Languages [My Copy] Formal Methods for Open Object-Based Distributed Systems (2007), pp. 1-31. by Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida posted to session-types by ama08r on 2008-11-11 16:36:20 as along with 1 person keigoi
	Types and Subtypes for Client-Server Interactions [My Copy] In European Symposium on Programming (1999), pp. 74-90. by Simon J. Gay, Malcolm Hole posted to session-types by ama08r on 2008-11-11 16:31:26 as along with 1 person alec
	An interaction-based language and its typing system [My Copy] : PARLE'94 Parallel Architectures and Languages Europe (1994), pp. 398-413. by Kaku Takeuchi, Kohei Honda, Makoto Kubo posted to session-types by ama08r on 2008-11-11 16:29:49 as along with 1 person keigoi
	Multiparty asynchronous session types [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 273-284. by Kohei Honda, Nobuko Yoshida, Marco Carbone posted to session-types by ama08r on 2008-11-11 16:27:56 as along with 3 people nkarthiks msakai keigoi
	Session types for inter-process communication [My Copy] (2003) by S. Gay, V. Vasconcelos, A. Ravara posted to session-types by ama08r on 2008-11-11 16:27:42 as along with 1 person tov
	Subtyping for session types in the pi calculus [My Copy] Acta Informatica, Vol. 42, No. 2. (22 November 2005), pp. 191-225. by Simon Gay, Malcolm Hole posted to session-types by ama08r on 2008-11-11 16:27:30 as along with 1 person keigoi
	Type checking a multithreaded functional language with session types [My Copy] Theoretical Computer Science, Vol. 368, No. 1-2. (5 December 2006), pp. 64-87. by Vasco T. Vasconcelos, Simon J. Gay, Antonio Ravara posted to session-types by ama08r on 2008-11-11 16:27:23 as along with 1 person keigoi
	An implementation of session types [My Copy] (2004) by M. Neubauer, P. Thiemann posted to session-types by ama08r on 2008-11-11 16:24:44 as along with 2 people keigoi tov
	A Formal Account of Contracts for Web Services [My Copy] Web Services and Formal Methods (2006), pp. 148-162. by S. Carpineti, G. Castagna, C. Laneve, L. Padovani posted to contracts session-types web-services by jfischer on 2008-04-06 01:43:15 as
	A theory of contracts for web services [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 261-272. by Giuseppe Castagna, Nils Gesbert, Luca Padovani posted to contracts session-types web-services by jfischer on 2008-04-06 01:35:50 as
	Language primitives and type discipline for structured communication-based programming [My Copy] Programming Languages and Systems (1998), pp. 122-138. by Kohei Honda, Vasco Vasconcelos, Makoto Kubo posted to session-types by jfischer on 2008-04-06 00:43:22 as along with 1 person msakai
	An Interaction-based Language and its Typing System [My Copy] In PARLE '94: Proceedings of the 6th International PARLE Conference on Parallel Architectures and Languages Europe (1994), pp. 398-413. by Kaku Takeuchi, Kohei Honda, Makoto Kubo posted to session-types type-systems by jfischer on 2008-04-06 00:32:37 as

Note: You may cite this page as: http://www.citeulike.org/tag/session-types

object-oriented	3
contracts	2
theory	2
web-services	2
concurrency	1
distributed-systems	1
language-haskell	1
mobile-processes	1
multi-threaded	1
to-be-cited	1
type	1
type-classes	1
type-systems	1
types	1

Tag session-types [30 articles] Export

Related Tags