ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using Apache Formatting Objects Processor (FOP)
-
- Other Formats (1)
-
Export as HyperText Markup Language (HTML)
-
 |  |  |
No PDF available for inspection
Publications / Views
Clouds
• tags • authors • editors • journals
Year
• 2023 • 2022 • 2021 • 2020 • 2019 • 2018 • 2017 • 2016 • 2015 • 2014–1927
Sort
• in journal • in proc • chapters • books • edited • spec issues • editorials • entries • manuals • tech reps • phd th • others
Status
• online • in press • proof • camera-ready • revised • accepted • revision • submitted • draft • note
Services
• ACM Digital Library • DBLP • IEEE Xplore • IRIS • PubMed • Google Scholar • Scopus • Semantic Scholar • Web of Science • DOI
Publication
— authors
— editors
Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel
— status
published
— sort
paper in proceedings
— publication date
June 2007
— volume
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004)
— series
Electronic Notes in Theoretical Computer Science
— volume
180
— issue
2
— pages
123–144
— number of pages
180
URLs
identifiers
— DOI
— ACM
— Scopus
— print ISSN
1571-0661
notes
— note
3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'04), CONCUR'04, London, UK, 30 August 2004. Post-proceedings