CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Environments as specifications of processes

Yi Wang (Institutionen för informationsbehandling)
Göteborg : Chalmers University of Technology, 1988. ISBN: 99-0812455-2.- 39 bl. s.
[Licentiatavhandling]

Nyckelord: transition system, CCS, specification, implementation, correctness, deadlock, testing equivalence, protocol verification



Denna post skapades 2013-08-06.
CPL Pubid: 180619

 

Institutioner (Chalmers)

Institutionen för informationsbehandling (1987-1993)

Ämnesområden

Databehandling

Chalmers infrastruktur