An algebraic specification method for processes over a finite action set

Bibliographische Detailangaben

Hauptverfasser:	Bergstra, Jan A. 1951- (VerfasserIn), Klop, Jan Willem 1945- (VerfasserIn)
Format:	Buch
Sprache:	Undetermined
Veröffentlicht:	Amsterdam Stichting Math. Centrum, Afdeling Informatica 1983
Ausgabe:	Preprint
Schriftenreihe:	Stichting Mathematisch Centrum, Afdeling Informatica IW 232
Schlagworte:	Abstrakter Datentyp Algebraische Spezifikation Prozessalgebra
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!