Bisimulation and Language Equivalence

doi 10.1007/0-306-48088-3_7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Netherlands