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
Feedback