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

Bibliotek som har denne