Sciweavers

67
Voted
ENTCS
2000
60views more  ENTCS 2000»
14 years 8 months ago
Incompleteness of Behavioral Logics
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
Samuel R. Buss, Grigore Rosu