Sciweavers

703 search results - page 9 / 141
» Fundamentals of Session Types
Sort
View
MSCS
2008
73views more  MSCS 2008»
14 years 11 months ago
Bounded polymorphism in session types
Simon J. Gay
CORR
2009
Springer
54views Education» more  CORR 2009»
14 years 9 months ago
Session Types at the Mirror
Luca Padovani
JCS
2008
88views more  JCS 2008»
14 years 11 months ago
A secure compiler for session abstractions
Compiler for Session Abstractions Ricardo Corin1,2,3, Pierre-Malo Deni
Ricardo Corin, Pierre-Malo Deniélou, C&eacu...
SSD
2001
Springer
113views Database» more  SSD 2001»
15 years 4 months ago
Object-Relational Indexing for General Interval Relationships
Intervals represent a fundamental data type for temporal, scientific, and spatial databases where time stamps and point data are extended to time spans and range data, respectively...
Hans-Peter Kriegel, Marco Pötke, Thomas Seidl