3307 search results - page 2 / 662 » The meaning of concurrent programs |
CONCURRENCY
1998
13 years 9 months ago
1998
CONCURRENCY
2010
13 years 4 months ago
2010
EPIA
1999
Springer
14 years 2 months ago
1999
Springer
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...
APIN
1998
13 years 9 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...