ICALP
1997
Springer
14 years 4 months ago
1997
Springer
ICALP
1997
Springer
14 years 4 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
ICALP
1997
Springer
14 years 4 months ago
1997
Springer
For a quarter of a century now, NP-completeness has been computer science's favorite paradigm, fad, punching bag, buzzword, alibi, and intellectual export. This paper is a fra...
ICALP
1997
Springer
14 years 4 months ago
1997
Springer
Despite the major role that modularity occupies in computer science, all the known results on modular analysis only treat particular problems, and there is no general unifying the...
ICALP
1997
Springer
14 years 4 months ago
1997
Springer
In the 1980's, Bennett introduced computational depth as a formal measure of the amount of computational history that is evident in an object's structure. In particular,...
ICALP
1997
Springer
14 years 4 months ago
1997
Springer
ICALP
1997
Springer
14 years 4 months ago
1997
Springer
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
ICALP
1997
Springer
14 years 4 months ago
1997
Springer
ICALP
1997
Springer
14 years 4 months ago
1997
Springer
ICALP
1997
Springer
14 years 4 months ago
1997
Springer