L
[Lar86] Kim Guldstrand Larsen. Context-dependent bisimulation between processes. PhD thesis, School of Informatics, University of Edinburgh, UK, 1986. 
@phdthesis{phd-larsen,
  author =              {Larsen, Kim Guldstrand},
  title =               {Context-dependent bisimulation between processes},
  year =                {1986},
  school =              {School of Informatics, University of Edinburgh, UK},
}
Liste des auteurs