@article(Arb04:mscs, author = "F. Arbab", year = "2004", title = "Reo: A Channel-based Coordination Model for Component Composition", journal = "Mathematical Structures in Computer Science", volume = "14", pages = "329--366", doi = "10.1017/S0960129504004153", ) @article(ABB+07, author = "F. Arbab and C. Baier and F. \hbox {de Boer} and J. Rutten", year = "2007", title = "Models and Temporal Logical Specifications for Timed Component Connectors", journal = "Software and Systems Modeling", volume = "6", number = "1", pages = "59--82", doi = "10.1007/s10270-006-0009-9", ) @inproceedings(ACM+09, author = "F. Arbab and T. Chothia and R. van der Mei and M. Sun and Y.J. Moon and C. Verhoef", year = "2009", title = "{F}rom Coordination to Stochastic Models of {QoS}", booktitle = "Proc.\ COORDINATION 2009", series = "LNCS", volume = "5521", publisher = "Springer", pages = "268--287", doi = "10.1007/978-3-642-02053-7\_14", ) @inproceedings(ACS+07, author = "F. Arbab and T. Chothia and M. Sun and Y-J. Moon", year = "2007", title = "Component Connectors with {QoS} Guarantees", booktitle = "Proc.\ COORDINATION 2007", series = "LNCS", volume = "4467", publisher = "Springer", pages = "286--304", doi = "10.1007/978-3-540-72794-1\_16", ) @inproceedings(AKS08, author = "F. Arbab and N. Kokash and M. Sun", year = "2008", title = "Towards Using {Reo} for Compliance-aware Business Process Modelling", booktitle = "Proc. \ ISoLA 2008", series = "CCIS", volume = "17", publisher = "Springer", pages = "108--123", doi = "10.1.1.298.428", ) @article(BSA+06, author = "C. Baier and M. Sirjani and F. Arbab and J. Rutten", year = "2006", title = "{M}odeling {C}omponent {C}onnectors in {R}eo by {C}onstraint {A}utomata", journal = "Science of Computer Programming", volume = "61", number = "2", pages = "75--113", doi = "10.1016/j.scico.2005.10.008", ) @article(BBM+07, author = "A. Baragatti and R. Bruni and H. Melgratti and U. Montanari and G. Spagnolo", year = "2007", title = "Prototype platforms for distributed agreements", journal = "ENTCS", volume = "180", pages = "21--40", doi = "10.1016/j.entcs.2006.10.044", ) @article(CPL+11, author = "D. Clarke and J. Proen\c {c}a and A. Lazovik and F. Arbab", year = "2011", title = "Channel-based coordination via constraint satisfaction", journal = "Science of Computer Programming", volume = "76", doi = "10.1016/j.scico.2010.05.004", ) @inproceedings(JA13a, author = "S.-S. T. Q. Jongmans and F. Arbab", year = "2013", title = "Global {Consensus} {Through} {Local} {Synchronization}", booktitle = "Proc. \ FOCLASA 2012", volume = "393", pages = "174 -- 188", doi = "10.1007/978-3-642-45364-9\_15", ) @inproceedings(JHA13, author = "S.-S. T. Q. Jongmans and S. Halle and F. Arbab", year = "2013", title = "Reo: {A} {Dataflow} {Inspired} {Language} {For} {Multicore}", booktitle = "Proc. DFM 2012", doi = "10.1109/DFM.2013.14", ) @inproceedings(JHA14, author = "S.-S. T. Q. Jongmans and S. Halle and F. Arbab", year = "2014", title = "Automata-{Based} {Optimization} {Of} {Interaction} {Protocols} {For} {Scalable} {Multicore} {Platforms}", booktitle = "Proc. \ COORDINATION 2014", series = "LNCS", volume = "8459", publisher = "Springer", pages = "65--82", doi = "10.1007/978-3-662-43376-8\_5", ) @inproceedings(JSS+12, author = "S.-S. T. Q. Jongmans and F. Santini and M Sargolzaei and F. Arbab and H. Afsarmanesh", year = "2012", title = "Orchestrating web services using {Reo}: from circuits and behaviors to automatically generated code", booktitle = "Proc. \ ESOCC 2012", series = "LNCS", volume = "7592", publisher = "Springer", pages = "1 -- 16", doi = "10.1109/PDP.2014.19", ) @inproceedings(JA13b, author = "Sung-Shik Jongmans and Farhad Arbab", year = "2013", title = "Modularizing and Specifying Protocols among Threads", booktitle = "Proc. \ PLACES 2012", series = "EPTCS", volume = "109", pages = "34--45", doi = "10.4204/eptcs.109.6", ) @inproceedings(JSA14, author = "Sung{-}Shik T. Q. Jongmans and Francesco Santini and Farhad Arbab", year = "2014", title = "Partially-Distributed Coordination with Reo", booktitle = "Proc. PDP 2014", publisher = "{IEEE}", pages = "697--706", doi = "10.1109/PDP.2014.19", ) @inproceedings(KSA+08, author = "R. Khosravi and M. Sirjani and N. Asoudeh and S. Sahebi and H. Iravanchi", year = "2008", title = "Modeling and analysis of {Reo} connectors using {Alloy}", booktitle = "Proc. \ COORDINATION 2008", series = "LNCS", volume = "5052", pages = "169--183", doi = "10.1007/978-3-540-68265-3\_11", ) @inproceedings(KCA10, author = "Changizi B. Kokash, N. and F.: Arbab", year = "2010", title = "A Semantic Model for Service Composition with Coordination Time Delays", booktitle = "Proc.\ ICFEM'10", series = "LNCS", publisher = "Springer", doi = "10.1007/978-3-642-16901-4\_9", ) @techreport(Kok14, author = "N. Kokash", year = "2014", title = "Handshaking Protocol for Distributed Implementation of Reo", type = "Technical Report", number = "TR 2014-01", institution = "LIACS, Leiden University", ) @inproceedings(KKV10, author = "N. Kokash and C. Krause and E.P. de Vink", year = "2010", title = "Data-Aware Design and Verification of Service Composition with {Reo} and \texttt {mCRL2}", booktitle = "Proc.\ of SAC 2010", publisher = "ACM Press", pages = "2406--2413", doi = "10.1145/1774088.1774590", ) @inproceedings(MLA08, author = "Z. Maraikar and A. Lazovik and F. Arbab", year = "2008", title = "Building mashups for the enterprise with SABRE", booktitle = "Proc. \ ICSOC 2008", series = "LNCS", volume = "5364", pages = "70--83", doi = "10.1007/978-3-540-89652-4\_9", ) @article(MSA06, author = "M. Mousavi and M. Sirjani and F. Arbab", year = "2006", title = "Formal semantics and analysis of component connectors in {R}eo", journal = "ENTCS", volume = "154", number = "1", pages = "83--99", doi = "10.1016/j.entcs.2005.12.034", ) @inproceedings(PCV+12, author = "Jose Proen\c {c}a and Dave Clarke and Erik de Vink and Farhad Arbab", year = "2012", title = "Dreams: a framework for distributed synchronous coordination", booktitle = "Proc. \ SAC 2012", publisher = "ACM", doi = "10.1145/2245276.2232017", )