Barbed Bisimulation

著者: Robin Milner, Davide Sangiorgi - Lecture notes in computer science 1992 被引用: 417