|
by Demyanov, Vladimir F., Stavroulakis, Georgios E., Polyakova, L.N., Panagiotopoulos, P. D.
Published 1996
Subjects:
“...Software engineering...”Published 1996
Springer US
|
Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs
Subjects:
“...Software engineering...”