Sciweavers

3179 search results - page 23 / 636
» Applications of PCF Theory
Sort
View
LICS
1998
IEEE
14 years 28 days ago
A Theory of Recursive Domains with Applications to Concurrency
Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel