Group: Session types - library 79 articles Export Sort

Hide details

	A Behavioral Module System for the Pi-Calculus [My Copy] In Static Analysis: 8th International Symposium, SAS 2001, Vol. 2126 (2001), pp. 375-394. by Sriram K. Rajamani, Jakob Rehof edited by Patrick Cousot posted to type_system by nils_gesbert to the group Session types on 2008-05-30 16:19:15 as
	Bounded Polymorphism in Session Types [My Copy] No. TR-2003-132. (2003) by Malcolm J. Hole, Simon J. Gay posted to session_types by nils_gesbert to the group Session types on 2008-05-30 16:19:07 as
	Multiparty Asynchronous Session Types [My Copy] No. 2007/5. (2007) by Kohei Honda, Nobuko Yoshida, Marco Carbone posted to choreography session_types by nils_gesbert to the group Session types on 2008-05-30 16:18:55 as
	Type and Effect Systems: Behaviours for Concurrency [My Copy] (1999) by T. Amtoft, F. Nielson, Riis H. Nielson posted to type_system by nils_gesbert to the group Session types on 2008-05-30 16:18:41 as
	Subtyping for Session Types in the Pi Calculus [My Copy] Acta Informatica, Vol. 42, No. 2/3. (2005), pp. 191-225. by Simon J. Gay, Malcolm J. Hole posted to session_types by nils_gesbert to the group Session types on 2008-05-30 16:18:32 as
	Typing the Behavior of Software Components using Session Types [My Copy] Fundamenta Informaticae, Vol. 73, No. 4. (2006), pp. 583-598. by Antonio Vallecillo, Vasco T. Vasconcelos, António Ravara posted to session_types by nils_gesbert to the group Session types on 2008-05-30 16:18:16 as
	Amalgamating the Session Types and the Object Oriented Programming Paradigms [My Copy] In Multiparadigm Programming with Object-Oriented Languages 2007 (an ECOOP workshop) (August 2007) by Sophia Drossopoulou, Mariangiola Dezani-Ciancaglini, Mario Coppo posted to oo_languages session_types by nils_gesbert to the group Session types on 2008-05-30 16:18:03 as
	Bounded Session Types for Object-Oriented Languages [My Copy] In {FMCO'06}, Vol. 4709 (2007), pp. 207-245. by Mariangiola D. Ciancaglini, Sophia Drossopoulou, Elena Giachino, Nobuko Yoshida edited by Frank de Boer, Marcello Bonsangue posted to oo_languages session_types by nils_gesbert to the group Session types on 2008-05-30 16:17:53 as
	Language Support for Fast and Reliable Message-based Communication in Singularity OS [My Copy] In EuroSys (2006) by Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, et al.Orion Hodson, Galen Hunt, James R. Larus, Steven Levi posted to operating_system by nils_gesbert to the group Session types on 2008-05-30 16:17:47 as along with 1 person pedagand
	Structured Global Programming for Communication Behaviour [My Copy] In ESOP, No. 4421. (2007), pp. 2-17. by Marco Carbone, Kohei Honda, Nobuko Yoshida posted to choreography session_types by nils_gesbert to the group Session types on 2008-05-30 16:17:39 as along with 3 people pirapira msakai shimomura
	Typing the use of resources in a concurrent calculus [My Copy] In ASIAN, Vol. 1345 (1997), pp. 239-253. by Gérard Boudol posted to capabilities type_system by nils_gesbert to the group Session types on 2008-05-30 16:16:47 as
	LOTOS Specifications, their Implementations and their Tests [My Copy] In Protocol Specification, Testing and Verification VI (IFIP) (1987), pp. 349-360. by Ed Brinksma, Giuseppe Scollo, Chris Steenbergen posted to formal_specifications by nils_gesbert to the group Session types on 2008-05-30 16:16:39 as
	Analyses Statiques d'un calcul d'acteurs par typage [My Copy] (1997) by Jean-Louis Colaço posted to process_calculus type_system by nils_gesbert to the group Session types on 2008-05-30 16:16:32 as
	A set constraint-based analyses of actors [My Copy] In Proceedings of FMOODS'97 (1997) by Jean-Louis Colaço, Mark Pantel, Patrick Sallé edited by Howard Bowman, John Derrick posted to process_calculus type_system by nils_gesbert to the group Session types on 2008-05-30 16:16:23 as
	Safety analysis for non-uniform service availability in Actors [My Copy] In Proceedings of FMOODS'99 (1999) by Jean-Louis Colaço, Mark Pantel, Fabien Dagnat, Patrick Sallé edited by Paolo Ciancarini, Alesandro Fantechi, Roberto Gorrieri posted to process_calculus type_system by nils_gesbert to the group Session types on 2008-05-30 16:16:15 as
	A Generic Type System for the Pi-Calculus [My Copy] Theoretical Computer Science, Vol. 311, No. 1-3. (2004), pp. 121-163. by Atsushi Igarashi, Naoki Kobayashi posted to type_system by nils_gesbert to the group Session types on 2008-05-30 16:16:02 as
	Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness [My Copy] In IFIP TCS, Vol. 1872 (2000), pp. 365-389. by Naoki Kobayashi posted to deadlock_freedom by nils_gesbert to the group Session types on 2008-05-30 16:15:52 as
	An Implicitly-Typed Deadlock-Free Process Calculus [My Copy] In CONCUR, Vol. 1877 (2000), pp. 489-503. by Naoki Kobayashi, Shin Saito, Eijiro Sumii posted to deadlock_freedom by nils_gesbert to the group Session types on 2008-05-30 16:15:43 as
	A calculus of object bindings [My Copy] In Proceedings of FMOODS'97 (1997) by Elie Najm, Abdelkrim Nimour edited by Howard Bowman, John Derrick posted to oo_languages by nils_gesbert to the group Session types on 2008-05-30 16:15:35 as
	Infinite Types for Distributed Objects Interfaces [My Copy] In Proceedings of FMOODS'99 (1999) by Elie Najm, Abdelkrim Nimour, Jean B. Stefani edited by Paolo Ciancarini, Alesandro Fantechi, Roberto Gorrieri posted to oo_languages type_system by nils_gesbert to the group Session types on 2008-05-30 16:15:28 as
	Guaranteeing liveness in an object calculus through behavioral typing [My Copy] In FORTE/PSTV (1999) by Elie Najm, Abdelkrim Nimour, Jean B. Stefani posted to oo_languages type_system by nils_gesbert to the group Session types on 2008-05-30 16:15:20 as
	Regular types for active objects [My Copy] In Object-Oriented Software Composition (1995), pp. 99-121. by Oscar Nierstrasz posted to oo_languages regular_types by nils_gesbert to the group Session types on 2008-05-30 16:15:13 as
	Strong types for coordinating active objects [My Copy] Concurrency and Computation: Practice and Experience, Vol. 13 (2001), pp. 293-326. by Franz Puntigam posted to oo_languages by nils_gesbert to the group Session types on 2008-05-30 16:15:04 as
	State inference for dynamically changing interfaces [My Copy] Computer Languages, Vol. 27 (2002), pp. 163-202. by Franz Puntigam posted to oo_languages type_system by nils_gesbert to the group Session types on 2008-05-30 16:14:56 as
	Types for Active Objects with Static Deadlock Prevention [My Copy] Fundamenta Informaticae, Vol. 49 (2001), pp. 1-27. by Franz Puntigam, Christof Peter posted to deadlock_freedom oo_languages type_system by nils_gesbert to the group Session types on 2008-05-30 16:14:50 as
	Typing Non-Uniform Concurrent Objects [My Copy] (2000) by António Ravara posted to oo_languages process_calculus type_system by nils_gesbert to the group Session types on 2008-05-30 16:14:43 as
	Programming and Implementation Issues in Non-Unifom TyCO [My Copy] (1999) by António Ravara, Lu\ís Lopes posted to process_calculus programming_language by nils_gesbert to the group Session types on 2008-05-30 16:14:36 as
	Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like [My Copy] In ECOOP, Vol. 322 (1988), pp. 55-77. by Peter Wegner, Stanley B. Zdonik posted to oo_languages by nils_gesbert to the group Session types on 2008-05-30 13:49:53 as
	The Lambda Calculus: Its Syntax and Semantics [My Copy] (1984) by Barendregt posted to lambda-calculus by nils_gesbert to the group Session types on 2008-05-30 13:37:45 as
	Towards alias-free pointers [My Copy] In ECOOP, Vol. 1098 (1996), pp. 189-209. by Naftaly Minsky posted to aliases oo_languages by nils_gesbert to the group Session types on 2008-05-30 13:34:47 as
	Islands: aliasing protection in object-oriented languages [My Copy] In OOPSLA, Vol. 26(11) (1991), pp. 271-285. by John Hogg posted to aliases oo_languages by nils_gesbert to the group Session types on 2008-05-30 13:33:58 as
	Virginity: A contribution to the specification of object-oriented software [My Copy] No. SRC-TN-97-001. (1997) by K. Rustan M. Leino, Raymie Stata posted to oo_languages by nils_gesbert to the group Session types on 2008-05-30 13:33:37 as
	Balloon Types: Controlling Sharing of State in Data Types [My Copy] In ECOOP, Vol. 1241 (1997), pp. 32-59. by Paulo S. Almeida posted to aliases by nils_gesbert to the group Session types on 2008-05-30 13:30:36 as along with 2 people network03 p2p01
	Copying and swapping: Influences on the design of reusable software components [My Copy] IEEE Transactions on Software Engineering, Vol. 17, No. 5. (1991) by Douglas E. Harms, Bruce W. Weide posted to oo_languages by nils_gesbert to the group Session types on 2008-05-30 13:30:09 as
	Promises: Limited specifications for analysis and manipulation [My Copy] In ICSE (1998) by Edwin C. Chan, John T. Boyland, William L. Scherlis posted to promises by nils_gesbert to the group Session types on 2008-05-30 13:29:41 as
	'Use-once' variables and linear objects --- storage management, reflection and multi-threading [My Copy] ACM SIGPLAN Notices, Vol. 30, No. 1. (1995) by Henry G. Baker posted to linear_types by nils_gesbert to the group Session types on 2008-05-30 13:29:01 as
	Types for Dyadic Interaction [My Copy] In CONCUR, Vol. 715 (1993), pp. 509-523. by Kohei Honda posted to type_system by nils_gesbert to the group Session types on 2008-05-30 13:28:45 as
	Graph Types for Monadic Mobile Processes [My Copy] In Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science (FST/TCS), Vol. 1180 (1996), pp. 371-386. by Nobuko Yoshida posted to type_system by nils_gesbert to the group Session types on 2008-05-30 13:28:31 as
	Resource Usage Analysis for the Pi-Calculus [My Copy] Logical Methods in Computer Science, Vol. 2, No. 3:4. (2006), pp. 1-42. by Naoki Kobayashi, Kohei Suenaga, Lucian Wischik posted to capabilities by nils_gesbert to the group Session types on 2008-05-30 13:28:13 as
	Resource Usage Analysis [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 27, No. 2. (2005), pp. 264-313. by Atsushi Igarashi, Naoki Kobayashi posted to capabilities by nils_gesbert to the group Session types on 2008-05-30 13:27:56 as
	Type-Based Information Flow Analysis for the Pi-Calculus [My Copy] Acta Informatica, Vol. 42, No. 4--5. (2005), pp. 291-347. by Naoki Kobayashi posted to flow_analysis by nils_gesbert to the group Session types on 2008-05-30 13:27:34 as
	Asynchronous Functional Session Types [My Copy] No. TR-2007-251. (2007) by Simon J. Gay, Vasco T. Vasconcelos posted to session_types by nils_gesbert to the group Session types on 2008-05-30 13:27:06 as
	Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication [My Copy] ENTCS In SecReT, Vol. 171, No. 4. (2007), pp. 73-93. by Nobuko Yoshida, Vasco T. Vasconcelos posted to session_types by nils_gesbert to the group Session types on 2008-05-30 13:26:27 as
	Principles of Program Analysis [My Copy] (1999) by F. Nielson, Riis H. Nielson, C. L. Hankin posted to program_analysis by nils_gesbert to the group Session types on 2008-05-30 13:25:23 as
	Web Services Choreography Working Group. Web Services Choreography Description Language [My Copy] posted to specification by nils_gesbert to the group Session types on 2008-05-30 13:24:58 as
	Typechecking a Multithreaded Functional Language with Session Types [My Copy] Theoretical Computer Science, Vol. 368, No. 1--2. (2006), pp. 64-87. by Vasco T. Vasconcelos, Simon J. Gay, António Ravara posted to session_types by nils_gesbert to the group Session types on 2008-05-30 13:22:24 as
	Bounded polymorphism in session types [My Copy] Mathematical Structures in Computer Science (2007) by Simon J. Gay posted to session_types by nils_gesbert to the group Session types on 2008-05-30 13:21:26 as
	A Theory of Type Polymorphism in Programming [My Copy] Journal of Computer and System Sciences, Vol. 17 (1978), pp. 348-375. by Robin Milner posted to polymorphism by nils_gesbert to the group Session types on 2008-05-30 13:21:02 as
	Flexible Alias Protection [My Copy] In ECOOP, Vol. 1445 (1998), pp. 158-185. by James Noble, Jan Vitek, John Potter posted to aliases oo_languages by nils_gesbert to the group Session types on 2008-05-30 13:20:38 as
	Ownership types for flexible alias protection [My Copy] In OOPSLA, Vol. 33(10) (1998) by D. G. Clarke, J. M. Potter, J. Noble posted to aliases oo_languages by nils_gesbert to the group Session types on 2008-05-30 12:34:06 as

Note: You may cite this page as: http://www.citeulike.org/group/5326

Result page: 1 2 Next

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

oo_languages	22
session_types	20
type_system	14
programming_language	8
capabilities	6
aliases	5
process_calculus	5
formal_specifications	4
linear_types	4
specification	4
business_processes	3
deadlock_freedom	3
correspondence_assertions	3
choreography	2
race_detection	1
lambda-calculus	1
pi-calculus	1
polymorphism	1
qualifiers	1
promises	1
regular_types	1
operating_system	1
program_analysis	1
model_checking	1
memory_management	1
flow_analysis	1

Group: Session types - library 79 articles Export Sort

Group Tags