Search alternatives:
hms » hams
Cover Image
Read Now

1
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...Taming infinite state spaces -- Silence is golden: Branching bisimilarity is decidable for context...”