ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
Mirko Viroli, Andrea Omicini
3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'04), pages 127-150
30 August 2004
Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel (eds.)
Proceedings
@inproceedings{respect-foclasa04,
Address = {CONCUR 2004, London, UK},
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},
Month = {30~} # aug,
Note = {Proceedings},
Pages = {127--150},
Title = {{\sf ReSpecT} Nets: Towards an Analysis Methodology for {{\sf ReSpecT}} Specifications},
Year = 2004}
Address = {CONCUR 2004, London, UK},
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},
Month = {30~} # aug,
Note = {Proceedings},
Pages = {127--150},
Title = {{\sf ReSpecT} Nets: Towards an Analysis Methodology for {{\sf ReSpecT}} Specifications},
Year = 2004}