MPG.eBooks - Search Results - formal languages and (automata OR automatic) theory

1

Published 1999

Springer Berlin Heidelberg

Table of Contents: “..., Construction, and Maintenance of Evolutionary Trees -- Formalizing a Lazy Substitution Proof System...”

2

Published 1995

Springer Berlin Heidelberg

Table of Contents: “...Non-speculative and upward invocation of continuations in a parallel language -- A model inference...”

3

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... Programs -- Generalised Regular MSC Languages -- On Compositional Reasoning in the Spi-calculus...”

4

Published 1998

Springer Berlin Heidelberg

Table of Contents: “... abstractness for a functional/concurrent language with higher-order value-passing -- A duality theory...”

5

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... Mobility -- Dynamic Input/Output Automata: A Formal Model for Dynamic Systems -- Probabilistic Systems...”

6

Published 2009

Springer Berlin Heidelberg

Table of Contents: “... Be Proved Correct? -- Probabilistic Acceptors for Languages over Infinite Words -- Automatic Verification...”