Sciweavers

748 search results - page 31 / 150
» concurrency 2008
Sort
View
TCS
2008
14 years 9 months ago
Automatic generation of path conditions for concurrent timed systems
Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros...
44
Voted
CSUR
1998
88views more  CSUR 1998»
14 years 9 months ago
Concurrency Control: Methods, Performance, and Analysis
Alexander Thomasian
TCS
2002
14 years 9 months ago
Truly concurrent constraint programming
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat