Sciweavers

31 search results - page 2 / 7
» entcs 2000
Sort
View
ENTCS
2000
66views more  ENTCS 2000»
15 years 6 months ago
Formal topology and domains
Giovanni Sambin
ENTCS
2000
74views more  ENTCS 2000»
15 years 6 months ago
Categorical Models for Fairness: Completion vs Delay
Thomas T. Hildebrandt
96
Voted
ENTCS
2000
56views more  ENTCS 2000»
15 years 6 months ago
A Distributed Pi-Calculus with Local Areas of Communication
Tom Chothia, Ian Stark
ENTCS
2000
50views more  ENTCS 2000»
15 years 6 months ago
Lambada, Haskell as a Better Java
Erik Meijer, Sigbjorn Finne