Descriptive and analytical process algebras (1989)

by L A Cherkasova, V E Kotov
Venue:in Advances in Petri Nets '89, ed. G Rozenberg, Lecture Notes in Computer Science