Sciweavers

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