Rewriting as a unified model of concurrency:
Gespeichert in:
Bibliographische Detailangaben
Beteilige Person: Meseguer, José (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Stanford, Calif. 1990
Schriftenreihe:Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL 90,2
Umfang:58 S.