A procedure for splitting data-aware processes and its application to coordination
- 28 February 2014
- journal article
- research article
- Published by Elsevier BV in Science of Computer Programming
- Vol. 115-116, 47-78
- https://doi.org/10.1016/j.scico.2014.02.017
Abstract
No abstract availableKeywords
Funding Information
- eu (FP7-231620)
This publication has 17 references indexed in Scilit:
- Modularizing and Specifying Protocols among ThreadsElectronic Proceedings in Theoretical Computer Science, 2013
- ACM Transactions on Programming Languages and Systems, 2012
- Decoupled execution of synchronous coordination models via behavioural automataElectronic Proceedings in Theoretical Computer Science, 2011
- Modeling component connectors in Reo by constraint automataScience of Computer Programming, 2006
- Realizability of Conversation Protocols with Message ContentsInternational Journal of Web Services Research, 2005
- Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's MergeLogical Methods in Computer Science, 2005
- Conversation protocols: a formalism for specification and verification of reactive electronic servicesTheoretical Computer Science, 2004
- Reo: a channel-based coordination model for component compositionMathematical Structures in Computer Science, 2004
- Effective decomposability of sequential behavioursTheoretical Computer Science, 2000
- Unique decomposition of processesTheoretical Computer Science, 1993