Sciweavers

3179 search results - page 23 / 636
» Applications of PCF Theory
Sort
View
ISIPTA
1999
IEEE
236views Mathematics» more  ISIPTA 1999»
15 years 10 months ago
Partial Probability: Theory and Applications
Frans Voorbraak
LICS
1998
IEEE
15 years 10 months ago
A Theory of Recursive Domains with Applications to Concurrency
Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel