A complete protocol verification using revitalized bisimulation

Ediciones (1)

• A complete protocol verification using revitalized bisimulation (1986)

  University of Edinburgh, Laboratory for Foundations of Computer Science · inglés

Más obras de Kim G. Larsen

Automata, Languages and Programming

Models, Mindsets, Meta : The What, the How, and the Why Not?

FFormal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems