ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications

@inproceedings{respect-foclasa04,
   apice = {RespectFoclasa2004},
   author = {Viroli, Mirko and Omicini, Andrea},
   booktitle = {3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'04)},
   editor = {Brogi, Antonio and Jacquet, Jean-Marie and Pimentel, Ernesto},
   location = {CONCUR 2004, London, UK},
   month = {30~} # aug,
   note = {Proceedings},
   pages = {127--150},
   title = {{\sf ReSpecT} Nets: Towards an Analysis Methodology for {{\sf ReSpecT}} Specifications},
   year = 2004
}