A LANGUAGE FOR FORMAL DESCRIPTION OF REAL TIME SYSTEMS

Publisher Website

1 January 1983

book chapter
Published by Elsevier

p. 119-126
https://doi.org/10.1016/b978-0-08-030563-9.50021-4

Abstract

No abstract available

This publication has 2 references indexed in Scilit:

Proposition de semantique denotationnelle pour des reseaux de processus avec operateur de melange equitable
Theoretical Computer Science, 1982
Formalization of EXEL
Published by Association for Computing Machinery (ACM) ,1973