Sciweavers

9507 search results - page 37 / 1902
» Time-based language models
Sort
View
SIGADA
1999
Springer
15 years 10 months ago
Formal modeling of synchronization methods for concurrent objects in Ada 95
Ravi K. Gedela, Sol M. Shatz, Haiping Xu
CTCS
1997
Springer
15 years 10 months ago
Presheaf Models for the pi-Calculus
Gian Luca Cattani, Ian Stark, Glynn Winskel