Environments as specifications of processes
Licentiatavhandling, 1988
transition system
correctness
deadlock
specification
CCS
testing equivalence
implementation
protocol verification
Författare
Yi Wang
Institutionen för informationsbehandling
Ämneskategorier (SSIF 2011)
Datavetenskap (datalogi)
ISBN
99-0812455-2