ICALP
1997
Springer
13 years 12 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
13 years 12 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
13 years 12 months ago
1997
Springer
ICALP
1997
Springer
13 years 12 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
13 years 12 months ago
1997
Springer
ICALP
1997
Springer
13 years 12 months ago
1997
Springer
ICALP
1997
Springer
13 years 12 months ago
1997
Springer
ICALP
1997
Springer
13 years 12 months ago
1997
Springer
Abstract. Milner proposed an axiomatization for the Kleene star in basic process algebra, in the presence of deadlock and empty process, modulo bisimulation equivalence. In this pa...
ICALP
1997
Springer
13 years 12 months ago
1997
Springer
ICALP
1997
Springer
13 years 12 months ago
1997
Springer
