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

Fast decision of strong bisimulation equivalence using partition refinement

Sven Westin (Institutionen för informationsbehandling)
Göteborg : Chalmers University of Technology, 1989. ISBN: 91-7032-428-x.- 75 s. s.
[Licentiatavhandling]

Nyckelord: bisimulation equivalence, CCS, coarsest partition, labelled transition system, partition, refinement



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

 

Institutioner (Chalmers)

Institutionen för informationsbehandling (1987-1993)

Ämnesområden

Databehandling

Chalmers infrastruktur