Towards a Hierarchy of Negative Test Operators for Generative Communication

@article{zavattaro-entcs16,
   apice = {ZavattaroEntcs16},
   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 = {https://www.sciencedirect.com/science/article/pii/S1571066104001252},
   volume = 16,
   year = 1998
}