Predicting the future : proof-rules for exceptions in concurrent structures

Sigurd Meldal
Bok · Engelsk · 1986

Utgitt	[Oslo] , [1986]
Omfang	27 bl. : ill.
Emner	communicating sequential processes
Dewey	004.0151
ISBN	8273680010