Formale Definition der Semantik von Prozessoperationen

Jürgen F. H. Winkler. Formale Definition der Semantik von Prozessoperationen. In Jürgen Nehmer, editor, Implementierungssprachen für nichtsequentielle Programmsysteme, Tagung I/1981 des German Chapter of the ACM am 20.2.1981 in Kaiserslautern. Volume 7 of Berichte des German Chapter of the ACM, pages 26-36, Teubner, 1981.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.