Formal Definition of Semantics of Generated Control Regimes

Luigia Carlucci Aiello, Mario Aiello, Giuseppe Attardi, P. Cavallari, Gianfranco Prini. Formal Definition of Semantics of Generated Control Regimes. In Antoni W. Mazurkiewicz, editor, Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings. Volume 45 of Lecture Notes in Computer Science, pages 173-179, Springer, 1976.

Abstract

Abstract is missing.