Result: Topology in process calculus

*Title*:

Topology in process calculus : approximate correctness and infinite evolution of concurrent programs / Mingsheng Ying

*Author/editor-in-chief*:

Ying, Mingsheng

*Publication*:

New York [u.a.] : Springer, 2001

*Physical description scale*:

VIII, 220 S.

*Format*:

*book*

*Language*:

*eng*

*Subject Added Keywords*:

*ISBN*:

0387950923 ; 0387950923

*Result*: Topology in process calculus