Title: Decidability of bisimulation equivalences for processes with parallel timers
First published: 1992
Subjects: Parallel processing (Electronic computers)
LC classification: QA76.58 .C47 1992