Sciweavers

9507 search results - page 37 / 1902
» Time-based language models
Sort
View
75
Voted
SIGADA
1999
Springer
15 years 6 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 6 months ago
Presheaf Models for the pi-Calculus
Gian Luca Cattani, Ian Stark, Glynn Winskel