ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
 |
 |
acm = {10.1016/j.entcs.2006.10.049},
author = {Viroli, Mirko and Omicini, Andrea},
booktitle = {Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004)},
doi = {10.1016/j.entcs.2006.10.049},
editor = {Brogi, Antonio and Jacquet, Jean-Marie and Pimentel, Ernesto},
issn = {1571-0661},
journal = {Electronic Notes in Theoretical Computer Science},
keyword = {Tuple spaces, {\sf {ReSpecT}}, Tuple centres, {P}etri nets, Formal analysis},
keywords = {Tuple spaces, ReSpecT, Tuple centres, Petri nets, Formal analysis},
month = jun,
note = {3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'04), CONCUR'04, London, UK, 30~} # aug # {~2004. Post-proceedings},
number = 2,
numpages = 180,
pages = {123--144},
publisher = {Elsevier Science B.V.},
scopus = {2-s2.0-34250167192},
series = {Electronic Notes in Theoretical Computer Science},
title = {{{\sf ReSpecT}} Nets: Towards an Analysis Methodology for {{\sf ReSpecT}} Specifications},
url = {http://www.sciencedirect.com/science/article/pii/S1571066107003258},
volume = 180,
wos = {WOS:000214244100009},
year = 2007
}