Axiomatic treatment of processes with shared variables revisited

Olaf Owe
Bok · Engelsk · 1990

Utgitt	[Oslo] : [Institute of Informatics, University of Oslo] , 1990
Omfang	20 bl.
Emner	Parallellitet Spesifikasjon concurrent programs sequental models parallell programmering
Dewey	004.3
ISBN	8273680460