Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A. On combining META-IV and CCS. Internal note IEI-B85-07, 1985.
An experiment towards the development of a formal method for specification of concurrent systems is attempted, through the combination of META-IV (the meta-language of VDM) and CCS. These two formalisms are combined in two different ways: different degrees of integration of the two formalisms are exhibited. In this report we show that this kind of combination can be viable as a means for the specification of concurrent software, and we sketch the theoretical framework which is involved. As such we consider this report as a contribution towards the more general problem of combining formal methods.

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