Dynamic Hierarchical Machines

Issue title: Concurrency Specification and Programming (CS&P'2002), Part 1

Article type: Research Article

Authors: Lanotte, Ruggero | Maggiolo-Schettini, Andrea | Peron, Adriano | Tini, Simone

Affiliations: Dipartimento di Informatica, Università di Pisa, Via Buonarroti 2, I-56127 Pisa, Italy | Dipartimento di Scienze Fisiche, Univerità di Napoli Federico II, Via Cinthia, I-80126, Italy | Dipartimento di Scienze CC.FF.MM., Università dell'Insubria, Via Valleggio 11, I-22100 Como, Italy |

Abstract: 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.

Journal: Fundamenta Informaticae, vol. 54, no. 2-3, pp. 237-252, 2003