Environments as specifications of processes
Licentiate thesis, 1988
transition system
correctness
deadlock
specification
CCS
testing equivalence
implementation
protocol verification
Author
Yi Wang
Department of Computer Sciences
Subject Categories
Computer Science
ISBN
99-0812455-2