@inproceedings(AMNN05, author = "Bharat Adsul and Madhavan Mukund and K. Narayan Kumar and Vasumathi Narayanan", year = "2005", title = "Causal Closure for MSC Languages", editor = "R. Ramanujam and Sandeep Sen", booktitle = "FSTTCS", series = "Lecture Notes in Computer Science", volume = "3821", publisher = "Springer", pages = "335--347", url = "http://dx.doi.org/10.1007/11590156_27", ) @article(AEY05, author = "Rajeev Alur and Kousha Etessami and Mihalis Yannakakis", year = "2005", title = "Realizability and verification of MSC graphs", journal = "Theor. Comput. Sci.", volume = "331", number = "1", pages = "97--114", url = "http://dx.doi.org/10.1016/j.tcs.2004.09.034", ) @inproceedings(BBO12, author = "Samik Basu and Tevfik Bultan and Meriem Ouederni", year = "2012", title = "Deciding choreography realizability", booktitle = "POPL", pages = "191--202", url = "http://doi.acm.org/10.1145/2103656.2103680", ) @inproceedings(BFF09, author = "Tevfik Bultan and Chris Ferguson and Xiang Fu", year = "2009", title = "A Tool for Choreography Analysis Using Collaboration Diagrams", booktitle = "ICWS", pages = "856--863", url = "http://dx.doi.org/10.1109/ICWS.2009.100", ) @article(BF08, author = "Tevfik Bultan and Xiang Fu", year = "2008", title = "Specification of realizable service conversations using collaboration diagrams", journal = "Service Oriented Computing and Applications", volume = "2", number = "1", pages = "27--39", url = "http://dx.doi.org/10.1007/s11761-008-0022-7", ) @inproceedings(BFHS, author = "Tevfik Bultan and Xiang Fu and Richard Hull and Jianwen Su", year = "2003", title = "Conversation specification: a new approach to design and analysis of e-service composition", booktitle = "WWW", pages = "403--410", url = "http://doi.acm.org/10.1145/775152.775210", ) @incollection(BFS07, author = "Tevfik Bultan and Xiang Fu and Jianwen Su", year = "2007", title = "Analyzing Conversations: Realizability, Synchronizability, and Verification", booktitle = "Test and Analysis of Web Services", pages = "57--85", url = "http://dx.doi.org/10.1007/978-3-540-72912-9_3", ) @inproceedings(CHY07, author = "Marco Carbone and Kohei Honda and Nobuko Yoshida", year = "2007", title = "Structured Communication-Centred Programming for Web Services", booktitle = "ESOP", pages = "2--17", url = "http://dx.doi.org/10.1007/978-3-540-71316-6_2", ) @book(CGP, author = "Edmund M. Clarke and Orna Grumberg and Doron Peled", year = "2000", title = "Model Checking", publisher = "MIT Press", ) @inproceedings(DW07, author = "Gero Decker and Mathias Weske", year = "2007", title = "Local Enforceability in Interaction Petri Nets", booktitle = "BPM", pages = "305--319", url = "http://dx.doi.org/10.1007/978-3-540-75183-0_22", ) @inproceedings(Fahn06, author = "Manuel F{\"a}hndrich and Mark Aiken and Chris Hawblitzel and Orion Hodson and Galen C. Hunt and James R. Larus and Steven Levi", year = "2006", title = "Language support for fast and reliable message-based communication in singularity OS", booktitle = "EuroSys", pages = "177--190", url = "http://doi.acm.org/10.1145/1217935.1217953", ) @phdthesis(Fu, author = "X. Fu", year = "2004", title = "Formal Specification and Verification of Asynchronously Communicating Web Services", school = "University of California, Santa Barbara", ) @article(FBS, author = "Xiang Fu and Tevfik Bultan and Jianwen Su", year = "2004", title = "Conversation protocols: a formalism for specification and verification of reactive electronic services", journal = "Theor. Comput. Sci.", volume = "328", number = "1-2", pages = "19--37", url = "http://dx.doi.org/10.1016/j.tcs.2004.07.004", ) @inproceedings(HB10, author = "Sylvain Hall{\'e} and Tevfik Bultan", year = "2010", title = "Realizability analysis for message-based interactions using shared-state projections", booktitle = "SIGSOFT FSE", pages = "27--36", url = "http://doi.acm.org/10.1145/1882291.1882298", ) @inproceedings(HYC08, author = "Kohei Honda and Nobuko Yoshida and Marco Carbone", year = "2008", title = "Multiparty asynchronous session types", booktitle = "POPL", pages = "273--284", url = "http://doi.acm.org/10.1145/1328438.1328472", ) @techreport(wscdl, author = "Nickolas Kavantzas and David Burdett and Gregory Ritzinger and Tony Fletcher and Yves Lafon and Charlton Barreto", year = "2005", title = "Web Services Choreography Description Language Version 1.0", type = "Technical Report", institution = "http://www.w3.org/TR/ws-cdl-10/", ) @inproceedings(KP06, author = "Raman Kazhamiakin and Marco Pistore", year = "2006", title = "Analysis of Realizability Conditions for Web Service Choreographies", booktitle = "FORTE", pages = "61--76", url = "http://dx.doi.org/10.1007/11888116_5", ) @inproceedings(LW09, author = "Niels Lohmann and Karsten Wolf", year = "2009", title = "Realizability Is Controllability", booktitle = "WS-FM", pages = "110--127", url = "http://dx.doi.org/10.1007/978-3-642-14458-5_7", ) @article(McN10, author = "Ashley T. McNeile", year = "2010", title = "Protocol contracts with application to choreographed multiparty collaborations", journal = "Service Oriented Computing and Applications", volume = "4", number = "2", pages = "109--136", url = "http://dx.doi.org/10.1007/s11761-010-0060-9", ) @article(MS06, author = "Ashley T. McNeile and Nicholas Simons", year = "2006", title = "Protocol modelling: A modelling approach that supports reusable behavioural abstractions", journal = "Software and System Modeling", volume = "5", number = "1", pages = "91--107", url = "http://dx.doi.org/10.1007/s10270-005-0100-7", ) @inproceedings(MR, author = "B. Meenakshi and R. Ramanujam", year = "2000", title = "Reasoning about Message Passing in Finite State Environments", booktitle = "ICALP", pages = "487--498", url = "http://dx.doi.org/10.1007/3-540-45022-X_41", ) @inproceedings(P77, author = "Amir Pnueli", year = "1977", title = "The Temporal Logic of Programs", booktitle = "FOCS", pages = "46--57", url = "http://doi.ieeecomputersociety.org/10.1109/SFCS.1977.32", ) @inproceedings(R96, author = "R. Ramanujam", year = "1996", title = "Locally Linear Time Temporal Logic", booktitle = "LICS", publisher = "IEEE Computer Society", pages = "118--127", url = "http://doi.ieeecomputersociety.org/10.1109/LICS.1996.561311", ) @article(RGG96, author = "Ekkart Rudolph and Peter Graubmann and Jens Grabowski", year = "1996", title = "Tutorial on Message Sequence Charts", journal = "Computer Networks and ISDN Systems", volume = "28", number = "12", pages = "1629--1641", url = "http://dx.doi.org/10.1016/0169-7552(95)00122-0", ) @article(SBR12, author = "Gwen Sala{\"u}n and Tevfik Bultan and Nima Roohi", year = "2012", title = "Realizability of Choreographies Using Process Algebra Encodings", journal = "IEEE T. Services Computing", volume = "5", number = "3", pages = "290--304", url = "http://doi.ieeecomputersociety.org/10.1109/TSC.2011.9", ) @inproceedings(SBFZ07, author = "Jianwen Su and Tevfik Bultan and Xiang Fu and Xiangpeng Zhao", year = "2007", title = "Towards a Theory of Web Service Choreographies", booktitle = "WS-FM", pages = "1--16", url = "http://dx.doi.org/10.1007/978-3-540-79230-7_1", ) @inproceedings(T95, author = "P. S. Thiagarajan", year = "1995", title = "A Trace Consistent Subset of PTL", editor = "Insup Lee and Scott A. Smolka", booktitle = "CONCUR", series = "Lecture Notes in Computer Science", volume = "962", publisher = "Springer", pages = "438--452", url = "http://dx.doi.org/10.1007/3-540-60218-6_33", )