Sciweavers

69 search results - page 1 / 14
» mscs 2006
Sort
View
60
Voted
MSCS
2006
73views more  MSCS 2006»
14 years 11 months ago
Continuous semantics for strong normalisation
Ulrich Berger
MSCS
2006
50views more  MSCS 2006»
14 years 11 months ago
Monoids over domains
Michael W. Mislove
MSCS
2000
63views more  MSCS 2000»
14 years 11 months ago
Domain equations for probabilistic processes
Christel Baier, Marta Z. Kwiatkowska
MSCS
2000
77views more  MSCS 2000»
14 years 11 months ago
Algebraic spans
Maurice Herlihy, Sergio Rajsbaum