Testing semantics: Connecting processes and process logics

Testing semantics: Connecting processes and process logics

Show other versions (1)
Detalhes bibliográficos
Main Authors: Pavlovic, D, Mislove, M, Worrell, J
Formato: Conference item
Publicado em: Springer Verlag 2006
Descrição
Resumo:

Registos relacionados