An axiomatic proof technique for parallel programs I

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Acta informatica 1976-12, Vol.6 (4), p.319-340
Hauptverfasser:	Owicki, Susan, Gries, David
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!