Concepts, syntax and semantics of SEGRAS
Subtitle: a specification language for distributed systems
By: Bernd Krämer.
Series: Berichte der Gesellschaft für Mathematik und Datenverarbeitung -- Nr. 180
Publisher: R. Oldenbourg
Published: 1989
Place of publication: München
Language: eng
Number of pages: 179
Subjects: SEGRAS (Computer program language)
Notes: Includes bibliographical references.