Towards a Hierarchy of Negative Test Operators for Generative Communication

   page       BibTeX_logo.png   
@article{zavattaro-entcs16,
Author = {Zavattaro, Gianluigi},
Doi = {10.1016/S1571-0661(04)00125-2},
Issn = {1571-0661},
Journal = {Electronic Notes in Theoretical Computer Science},
Note = {EXPRESS '98, 5th International Workshop on Expressiveness in Concurrency (Satellite Workshop of CONCUR '98)},
Number = 2,
Pages = {154--170},
Title = {Towards a Hierarchy of Negative Test Operators for Generative Communication},
Url = {http://www.sciencedirect.com/science/article/pii/S1571066104001252},
Volume = 16,
Year = 1998}