Testing semantics: Connecting processes and process logics
Dusko Pavlovic‚ Michael Mislove and James Worrell
Book Title
Proceedings of AMAST 2006
Editor
Michael Johnson and Varmo Vene
Pages
308–322
Publisher
Springer Verlag
Series
Lecture Notes in Computer Science
Volume
4019
Year
2006