ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications

@article{respect-entcs180,
   acm = {10.1016/j.entcs.2006.10.049},
   apice = {RespectEntcs180},
   author = {Viroli, Mirko and Omicini, Andrea},
   booktitle = {Proceedings of the 3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004)},
   core = {82599442},
   dblp = {journals/entcs/ViroliO07},
   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},
   keywords = {Tuple spaces, ReSpecT, Tuple centres, Petri nets, Formal analysis},
   lens = {039-242-265-115-290},
   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 = 22,
   openalex = {W2123800129},
   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
}