A Formal Approach to the Engineering of Domain-Specific Distributed Systems
- 27 May 2018
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 55 references indexed in Scilit:
- A logical verification methodology for service-oriented computingACM Transactions on Software Engineering and Methodology, 2012
- A state/event-based model-checking approach for the analysis of abstract system propertiesScience of Computer Programming, 2011
- From Flow Logic to static type systems for coordination languagesScience of Computer Programming, 2010
- A tool for rapid development of WS-BPEL applicationsACM SIGAPP Applied Computing Review, 2010
- Confining data and processes in global computing applicationsScience of Computer Programming, 2006
- Modeling component connectors in Reo by constraint automataScience of Computer Programming, 2006
- Klava: a Java package for distributed and mobile applicationsSoftware: Practice and Experience, 2002
- On bisimulations for the asynchronous π-calculusTheoretical Computer Science, 1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- A calculus of broadcasting systemsScience of Computer Programming, 1995