UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Publications for 'Dr Nils Gesbert' ordered by Year. (9)

2010 2009 2008 2007 2004 2003

2010

Modular Session Types for Distributed Object-Oriented Programming
Gay,S.J. Vasconcelos,V.T. Ravara,A. Gesbert,N. Caldeira,A.Z. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].

Modular Session Types for Distributed Object-Oriented Programming
Gay,S.J. Vasconcelos,V.T. Ravara,A. Gesbert,N. Caldeira,A.Z. POPL'10, 37th ACM symposium on Principles of programming languages, Madrid pp 299-312 ACM [More Details].

2009

A Theory of Contracs for Web Services
Castagna,G.
Gesbert,N. Padovani,L. ACM Transactions on Programming Languages and Systems, Vol. 31, No 5. pp 19:1-19:61 ACM Press [More Details].

Dynamic interfaces
Vasconcelos,V.T. Gay,S.J. Ravara,A. Gesbert,N. Caldeira,A.Z. FOOL'09, international workshop on foundations of object-oriented languages pp 12 [More Details].

2008

Session Types as Generic Process Types
Gay,S.J. Gesbert,N. Ravara,A. First Workshop on Programming language approaches to concurrency and communication-centric software (PLACES'08), Oslo pp 16-21 [More Details].

A Theory of Contracs for Web Services
Castagna,G. Gesbert,N. Padovani,L. POPL'08, 35th ACM symposium on Principles of programming languages, San Francisco pp 261-272 ACM [More Details].

2007

A Theory of Contracts for Web Services
Castagna,G.
Gesbert,N. Padovani,L. 5th ACM SIGPLAN Workshop on Programming Language Technologies for XML (PLAN-X 2007) pp 37-48 [More Details].

2004

Formalisation of Geographical Database Specifications
Gesbert,N. ADBIS'04, Eighth East-European Conference on Advances in Databases and Information Systems, Budapest [More Details].

2003

A Formal Model for the Specifications of Geographic Databases
Mustière,S.
Gesbert,N. Sheeren,D. International Workshop on Semantic Processing of Spatial Data (GeoPro 2003) pp 152-159 [More Details].