S. Gay and M. Hole. Types and subtypes for client-server interactions. In Proc. European Symp. on Programming, vol. 1576 of LNCS, pp. 74--90. Springer-Verlag, 1999. 1 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Correspondence Assertions for Process Synchronization.. - Bonelli, Compagnoni.. (2003) (3 citations) (Correct)
....second component of the pair) Quite some e ort is being invested in the study of session types, motivated by the bene ts that such a system provides for the analysis of protocols. Starting from the work of Honda et al. [13] a suitable notion of subtypes for session types has been explored in [7], the bene ts of session types in component based software development was presented in [1] bounded polymorphism in the presence of session types has been studied in [12] session types formulated in a calculus with input ouput operations is considered in [8] This paper addresses a ....
....Congruence (cf. Section 2.2.1 and 3) We show that evaluation preserves typability and that processes typable under empty e ects are safe. Related work. This work may be included among others in which type systems for the calculus are studied [18,17,16,20] More closely to the present work [7] introduces subtyping into session types, however the concept of synchronization between sessions is not explored. The same holds for [22] and [19] the rst studies a typing scheme for processes based on graph types and the second a type system for restricting communication in concurrent objects; ....
Gay, S. and M. Hole, Types and subtypes for client-server interactions, in: Proceedings of the European Symposium on Programming Languages and Systems, number 1576 in LNCS (1999).
Resource-Passing Concurrent Programming - Ueda (2 citations) (Correct)
....of ideas with similar motivations to di#erent computational models. In concurrent logic programming, the di#culty lies in the treatment of arbitrarily complex information flow expressed using logical variables. Walker discusses types supporting more explicit memory management [50] Session types [13] shares the same objective with our mode system. Languages that feature linearity can be found in various programming paradigms. Linear Lisp [4] and Lilac [20] are two examples outside logic programming, while a survey of linear logic programming languages can be found in [23] There is a lot of ....
Gay, S. and Hole, M., Types and Subtypes for Client-Server Interactions. In Proc. European Symp. on Programming (ESOP'99), LNCS 1576, Springer-Verlag, 1999, pp. 74--90.
Session Types for Functional Multithreading - Vasconcelos, Gay, Ravara (2004) (3 citations) Self-citation (Gay) (Correct)
No context found.
S. J. Gay and M. J. Hole. Types and subtypes for client-server interactions. volume 1576 of LNCS, pages 74--90. Springer-Verlag, 1999.
Session Types for Inter-Process Communication - Gay, Vasconcelos, Ravara (2003) (6 citations) Self-citation (Gay) (Correct)
No context found.
S. J. Gay and M. J. Hole. Types and subtypes for client-server interactions. In S. D. Swierstra, editor, ESOP'99: Proceedings of the European Symposium on Programming Languages and Systems, volume 1576 of Lecture Notes in Computer Science, pages 74-- 90. Springer-Verlag, 1999.
Session Types for Inter-Process Communication - Gay, Vasconcelos, Ravara (2003) (6 citations) Self-citation (Gay) (Correct)
....into a mainstream programmming language, or even studied theoretically in the context of a standard language paradigm: functional, imperative or objectoriented. Vallecillo et al. 13] use session types to add behavioural information to the interfaces of CORBA objects, and use Gay and Hole s [3] theory of subtyping to formalise compatibility and substitutability of components, but they have not attempted to design a complete language. In the absence of session types, current languages do little to assist the programmer in checking that a protocol has been implemented correctly. Although ....
....client sends a single message consisting of a pair of integers (Honda et al. 6] call this piggybacking ) In this case, the type of the server side would be (Int Int) Int.End and the type of the client side would again be obtained by exchanging and . The duality operator : S S [12, 6, 3, 13] is an important part of the theory of session types, but we do not need to discuss it in this paper because we only consider clients or servers in isolation. 2.2 Branching Types Now let us modify the protocol and add a negation operation to the server. The client selects one of two commands: ....
[Article contains additional citation context not shown here]
S. J. Gay and M. J. Hole. Types and subtypes for client-server interactions. In S. D. Swierstra, editor, ESOP'99: Proceedings of the European Symposium on Programming Languages and Systems, number 1576 in Lecture Notes in Computer Science, pages 74--90. Springer-Verlag, 1999.
Causal Type System for Ambient Movements - Amtoft (2003) (Correct)
No context found.
S. Gay and M. Hole. Types and subtypes for client-server interactions. In Proc. European Symp. on Programming, vol. 1576 of LNCS, pp. 74--90. Springer-Verlag, 1999. 1
From Sequential Programs to Multi-Tier Applications by.. - Neubauer, Thiemann (2005) (Correct)
No context found.
S. Gay and M. Hole. Types and subtypes for client-server interactions. In D. Swierstra, editor, Proceedings of the 1999.
Causal Type System for Ambient Movements - Amtoft (2002) (Correct)
No context found.
S. Gay and M. Hole. Types and subtypes for client-server interactions. In Proc. European Symp. on Programming, vol. 1576 of LNCS, pp. 74--90. Springer-Verlag, 1999.
Causal Type System for Ambient Movements - Amtoft (2001) (Correct)
No context found.
S. Gay and M. Hole. Types and subtypes for client-server interactions. In Proc. European Symp. on Programming, vol. 1576 of LNCS, pp. 74-90. Springer-Verlag, 1999.
A Distributed Object-Oriented Language with Session Types - Dezani-Ciancaglini.. (2005) (Correct)
No context found.
Simon Gay and Malcolm Hole. Types and subtypes for client-server interactions. In Proc. of ESOP'99, number 1576 in LNCS, pages 74--90. Springer-Verlag, 1999.
Linearity and Bisimulation - Yoshida, Honda, Berger (2002) (7 citations) (Correct)
No context found.
Gay, S. and Hole, M., Types and Subtypes for Client-Server Interactions, ESOP'99, LNCS 1576, 74-90, Springer, 1999.
Protocol Specialization - Neubauer, Thiemann (Correct)
No context found.
Simon Gay and Malcolm Hole. Types and subtypes for client-server interactions. In Doaitse Swierstra, editor, Proceedings of the 1999 European Symposium on Programming, number 1576 in Lecture Notes in Computer Science, pages 74--90, Amsterdam, The Netherlands, April 1999. Springer-Verlag.
Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) (Correct)
No context found.
Gay, S. and Hole, M., Types and Subtypes for Client-Server Interactions, ESOP'99, LNCS 1576, 74-90, Springer, 1999.
Linearity and Bisimulation - Yoshida, Honda, Berger (7 citations) (Correct)
No context found.
Gay, S. and Hole, M., Types and Subtypes for Client-Server Interactions, ESOP'99, LNCS 1576, 74-90, Springer, 1999.
Orderly Communication in the Ambient Calculus - Amtoft, Kfoury, Pericas-Geertsen (2002) (Correct)
No context found.
Simon Gay and Malcolm Hole. Types and subtypes for client-server interactions. In Proc. European Symp. on Programming, volume 1576 of LNCS, pages 74--90. Springer-Verlag, 1999.
A Distributed Object-Oriented Language with Session Types - Dezani-Ciancaglini.. (2005) (Correct)
No context found.
Simon Gay and Malcolm Hole. Types and subtypes for client-server interactions. In Proc. of ESOP'99, number 1576 in LNCS, pages 74--90. Springer-Verlag, 1999.
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
Simon Gay and Malcolm Hole. Types and subtypes for client-server interactions. In Proc. of ESOP'99, number 1576 in LNCS, pages 74--90. Springer, 1999.
A Distributed Object-Oriented Language with Session Types - Dezani-Ciancaglini.. (2005) (Correct)
No context found.
Simon Gay and Malcolm Hole. Types and subtypes for client-server interactions. In Proc. of ESOP'99, number 1576 in LNCS, pages 74--90. Springer-Verlag, 1999.
Protocol Specialization - Neubauer, Thiemann (Correct)
No context found.
Simon Gay and Malcolm Hole. Types and subtypes for client-server interactions. In Doaitse Swierstra, editor, Proceedings of the 1999 European Symposium on Programming, number 1576 in Lecture Notes in Computer Science, pages 74--90, Amsterdam, The Netherlands, April 1999. Springer-Verlag.
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2001) (Correct)
No context found.
S. Gay and M. Hole. Types and subtypes for client-server interactions. In Proc. European Symp. on Programming, vol. 1576 of LNCS, pp. 74--90. Springer-Verlag, 1999.
An Implementation of Session Types - Neubauer, Thiemann (2004) (1 citation) (Correct)
No context found.
Simon Gay and Malcolm Hole. Types and subtypes for client-server interactions. In Doaitse Swierstra, editor, Proceedings of the 1999 European Symposium on Programming, number 1576 in Lecture Notes in Computer Science, pages 74--90, Amsterdam, The Netherlands, April 1999. Springer-Verlag.
Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) (Correct)
No context found.
Gay, S. and Hole, M., Types and Subtypes for Client-Server Interactions, ESOP'99, LNCS 1576, 74-90, Springer, 1999.
Session Types for Asynchronous Communication - Neubauer, Thiemann (Correct)
No context found.
Simon Gay and Malcolm Hole. Types and subtypes for client-server interactions. In Doaitse Swierstra, editor, Proceedings of the 1999 European Symposium on Programming, number 1576 in Lecture Notes in Computer Science, pages 74--90, Amsterdam, The Netherlands, April 1999. Springer-Verlag.
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2000) (Correct)
No context found.
S. Gay and M. Hole. Types and subtypes for client-server interactions. In Proc. European Symp. on Programming, vol. 1576 of LNCS, pp. 74--90. Springer-Verlag, 1999. 3, 26, 27, 28
Strong Normalisation in the π-Calculus - Yoshida, Berger, Honda (2001) (1 citation) (Correct)
No context found.
Gay, S. and Hole, M., Types and Subtypes for Client-Server Interactions, ESOP'99, LNCS 1576, 74--90, Springer, 1999.
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC