Concurrent Nondeterministic Processes: Adequacy of Structure and Behaviour.

Ludmila Cherkasova, Vadim E. Kotov

Browse the full MFCS paper archive.