Sciweavers

4604 search results - page 34 / 921
» Concurrency in Synchronous Systems
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
PLILP
1994
Springer
15 years 9 months ago
Abstracting Synchronization in Concurrent Constraint Programming
Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi