Simon Gay, Vasco Vasconcelos, and Antonio Ravara. Session types for inter-process communication. Technical Report TR-2003-133, Department of Computing Science, University of Glasgow, 2003. 16 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Correspondence Assertions for Process Synchronization.. - Bonelli, Compagnoni.. (2003) (3 citations) (Correct)
.... 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 strengthening of session types by incorporating a theory of correspondence assertions (cf. Section 1.2) We shall address a number of examples in which the shortcomings of session types are illustrated and shall exhibit how correspondence assertions successfully overcome ....
Gay, S., V. Vasconcelos and A. Ravara, Session types for inter-process communication, Technical Report TR-2003-133, Department of Computing Science, University of Glasgow (2003).
Session Types for Functional Multithreading - Vasconcelos, Gay, Ravara (2004) (3 citations) Self-citation (Gay Vasconcelos Ravara) (Correct)
No context found.
S. Gay, V. T. Vasconcelos, and A. Ravara. Session types for inter-process communication. TR 2003.
Protocol Specialization - Neubauer, Thiemann (Correct)
No context found.
Simon Gay, Vasco Vasconcelos, and Antonio Ravara. Session types for inter-process communication. Technical Report TR-2003-133, Department of Computing Science, University of Glasgow, 2003. 16
Protocol Specialization - Neubauer, Thiemann (Correct)
No context found.
Simon Gay, Vasco Vasconcelos, and Antonio Ravara. Session types for inter-process communication. Technical Report TR-2003-133, Department of Computing Science, University of Glasgow, 2003.
Profundis: - Periodic Progress Report (Correct)
No context found.
S. Gay, V. T. Vasconcelos, and A. Ravara. Session types for inter-process communication. Preprint, Department of Computer Science, University of Lisbon, Campo Grande, Edifcio C5, 1749-016 Lisboa, Portugal, 2002. Submitted for publication.
An Implementation of Session Types - Neubauer, Thiemann (2004) (1 citation) (Correct)
No context found.
Simon Gay, Vasco Vasconcelos, and Antonio Ravara. Session types for inter-process communication. Technical Report TR-2003-133, Department of Computing Science, University of Glasgow, 2003.
Session Types for Asynchronous Communication - Neubauer, Thiemann (Correct)
No context found.
Simon Gay, Vasco Vasconcelos, and Antonio Ravara. Session types for inter-process communication. Technical Report TR-2003-133, Department of Computing Science, University of Glasgow, 2003.
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