Sciweavers

2300 search results - page 8 / 460
» Maximally Concurrent Programs
Sort
View
PPDP
2009
Springer
15 years 8 months ago
A framework for abstract interpretation of timed concurrent constraint programs
Moreno Falaschi, Carlos Olarte, Catuscia Palamides...
POPL
1999
ACM
15 years 6 months ago
Stochastic Processes as Concurrent Constraint Programs
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
SIGADA
1998
Springer
15 years 6 months ago
Object-Oriented and Concurrent Program Design Issues in Ada 95
Stephen H. Kaisler, Michael B. Feldman
95
Voted
SIGADA
2001
Springer
15 years 6 months ago
Detecting concurrently executed pairs of statements using an adapted MHP algorithm
Zhengqiang Chen, Baowen Xu, Huiming Yu