Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Inverardi P., Nesi M. A logic-functional approach to the execution of CCS specifications modulo behavioural equivalnces. In: Concurrency 88 - International Conference on Concurrency (Hamburg, German, 18-19 October 1988). Proceedings, vol. 335 pp. 181 - 196. F.H. Vogt (ed.). Springer-Verlag, 1988.
This paper reports on a work that proposes a kernel for an execution environment for the operational semantics and the behavioural equivalences of CCS. The proposed execution environment distinguishes itself by being formal, by dealing with the behavioural equivalences as schemes of axioms, differently from other approaches based on automata, and by giving the possibility to define several strategies of verification in a modular and flexible way. The environment, obtained by techniques of logic-functional programming, treats basic CCS with bounded recursion. A particular strategy of verification is presented.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional