Decidability of bisimulation equivalences for processes with parallel timers
By: Kārlis Čerāns.
Publisher: University of Latvia, Institute of Mathematics and Computer Science
Published: 1992
Place of publication: Rīga
Language: eng
Number of pages: 30
Subjects: Parallel processing (Electronic computers)
Notes: Includes bibliographical references (p. 28-30).
Cover title.