Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship
J. Zwiers
Bok Engelsk 1989
Utgitt | Berlin : Springer , c1989
|
---|---|
Omfang | VI, 272 s. : fig.
|
Emner | |
ISBN | 0387508457. - 3540508457
|
Utgitt | Berlin : Springer , c1989
|
---|---|
Omfang | VI, 272 s. : fig.
|
Emner | |
ISBN | 0387508457. - 3540508457
|