ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
 |
 |
@inproceedings{respect-foclasa04,
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
}
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
}