LICS
1996
IEEE
13 years 8 months ago
1996
IEEE
LICS
1996
IEEE
13 years 8 months ago
1996
IEEE
LICS
1996
IEEE
13 years 8 months ago
1996
IEEE
In the automata-theoretic approach to verification, we translate specifications to automata. Complexity considerations motivate the distinction between different types of automata...
LICS
1996
IEEE
13 years 8 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
LICS
1996
IEEE
13 years 8 months ago
1996
IEEE
Real PCF is an extension of the programming language PCF with a data type for real numbers. Although a Real PCF definable real number cannot be computed in finitely many steps, it...
LICS
1996
IEEE
13 years 8 months ago
1996
IEEE
LICS
1996
IEEE
13 years 8 months ago
1996
IEEE
We present the linear type theory LLF as the forThis extended abstract will appear on the proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science -LICS'...
LICS
1996
IEEE
13 years 8 months ago
1996
IEEE
We introduce the notion of higher dimensional transition systems as a model of concurrency providing an elementary, set-theoretic formalisation of the idea of higher dimensional t...
LICS
1996
IEEE
13 years 8 months ago
1996
IEEE
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local var...
LICS
1996
IEEE
13 years 8 months ago
1996
IEEE