Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Dynamic Hierarchical Machines

Lanotte R., Maggiolo-Schettini A., Peron A., Tini S.

Fundamenta Informaticae

2003

Vol. 54, nr 2,3

237-252

We present Dynamic Hierarchical Machines (DHMs), an extension of Communicating Hierarchical Automata allowing dynamic activation of components. We give an operational semantics of DHMs and we provide examples of modeling in the context of security. We characterize a fragment of DHMs which are equivalent to Recursive Hierarchical Machines and therefore to Pushdown Machines.

Transformations of Timed Cooperating Automata

Lanotte R., Maggiolo-Schettini A., Tini S., Peron A.

Fundamenta Informaticae

2001

Vol. 47, nr 3,4

271-282

The paper pursues the investigation of Timed Cooperating Automata (TCAs) by studying transformations which are suggested as means for stepwise TCA construction.