Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

Dynamic Hierarchical Machines

Szczegóły
Abstrakt

Tytuł:: Dynamic Hierarchical Machines
Autorzy:: Lanotte, R.
Maggiolo-Schettini, A.
Peron, A.
Tini, S.
Data publikacji:: 2003
Słowa kluczowe:: Dynamic Hierarchical Machines (DHMs)
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

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.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Dynamic Hierarchical Machines