Sciweavers

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