1054 search results - page 12 / 211 » A Formalization of the Turing Test |
TCS
2010
14 years 10 months ago
2010
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
FM
2005
Springer
15 years 5 months ago
2005
Springer
FMCO
2004
Springer
15 years 5 months ago
2004
Springer
CONCUR
1999
Springer
15 years 4 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
FM
2001
Springer
15 years 4 months ago
2001
Springer
