E-Books durchsuchen
Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets [1989]
- 1
-
Introduction
- 7
-
Abstract programming languages
- 46
-
Connections with language theory
- 61
-
Representation by finite automata
- 95
-
Representation by finite and safe Petri nets
- 118
-
A remark on the representation by finite Petri nets
- 123
-
Representation by finite and strict predicate/transition nets