{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:13:36Z","timestamp":1759637616584},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642245589"},{"type":"electronic","value":"9783642245596"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24559-6_8","type":"book-chapter","created":{"date-parts":[[2011,10,21]],"date-time":"2011-10-21T11:13:17Z","timestamp":1319195597000},"page":"82-97","source":"Crossref","is-referenced-by-count":4,"title":["Asynchronous Communication in MSVL"],"prefix":"10.1007","author":[{"given":"Dapeng","family":"Mo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaobing","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenhua","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Pnueli, A.: The temporal semantics of concurrent programs. In: Proceedings of the 18th IEEE Symposium Foundations of Computer Science, pp. 46\u201367 (1997)"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1145\/2993.357245","volume":"6","author":"Karp","year":"1984","unstructured":"Karp, Alan, R.: Proving failure-free properties of concurrent systems using temporal logic. ACM Trans. Program. Lang. Syst.\u00a06, 239\u2013253 (1984)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"8_CR3","unstructured":"Cau, A., Moszkowski, B., Zedan, H.: Itl and tempura home page on the web, http:\/\/www.cse.dmu.ac.uk\/STRL\/ITL\/"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-540-79228-4_4","volume-title":"Theory and Applications of Models of Computation","author":"C. Tian","year":"2008","unstructured":"Tian, C., Duan, Z.: Propositional projection temporal logic, buchi automata and \u03c9-regular expressions. In: Agrawal, M., Du, D.-Z., Duan, Z., Li, A. (eds.) TAMC 2008. LNCS, vol.\u00a04978, pp. 47\u201358. Springer, Heidelberg (2008)"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-540-88194-0_12","volume-title":"Formal Methods and Software Engineering","author":"Z. Duan","year":"2008","unstructured":"Duan, Z., Tian, C.: A unified model checking approach with projection temporal logic. In: Liu, S., Araki, K. (eds.) ICFEM 2008. LNCS, vol.\u00a05256, pp. 167\u2013186. Springer, Heidelberg (2008)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Solanki, M., Cau, A., Zedan, H.: Asdl: A wide spectrum language for designing web services. In: WWW, pp. 687\u2013696 (2006)","DOI":"10.1145\/1135777.1135878"},{"key":"8_CR7","volume-title":"Temporal Logic Program Designing and Engineering","author":"Z. Tang","year":"1999","unstructured":"Tang, Z.: Temporal Logic Program Designing and Engineering, vol.\u00a01. Sicence Press, Beijing (1999)"},{"key":"8_CR8","volume-title":"Programming in Temporal Logic","author":"R. Hale","year":"1988","unstructured":"Hale, R.: Programming in Temporal Logic. Cambridge University, Cambridge (1988)"},{"key":"8_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, Heidelberg (1980)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating sequential processes (August 1978)","DOI":"10.1007\/978-1-4757-3472-0_16"},{"issue":"3","key":"8_CR11","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BF02944904","volume":"19","author":"Z. Duan","year":"2004","unstructured":"Duan, Z., Koutny, M.: A framed temporal logic programming language. Journal Computer Science and Technology\u00a019(3), 341\u2013351 (2004)","journal-title":"Journal Computer Science and Technology"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.09.001","volume":"70","author":"Z. Duan","year":"2008","unstructured":"Duan, Z., Yang, X., Koutny, M.: Framed temporal logic programming. Science of Computer Programming\u00a070, 31\u201361 (2008)","journal-title":"Science of Computer Programming"},{"key":"8_CR13","unstructured":"Duan, Z., Wang, X.: Implementing pointer in temporal logic programming languages. In: Proceedings of Brazilian Symposium on Formal Methods, Natal, Brazil, pp. 171\u2013184 (2006)"},{"key":"8_CR14","unstructured":"Baum-waidner, B., Waidner, M.: Optimistic asynchronous multi-party contract signing (1998)"},{"key":"8_CR15","unstructured":"Pagnia, H., Gartner, F.C.: On the impossibility of fair exchange without a trusted third party. Darmstadt University of Technology, Tech. Rep. Technical Report: TUD-BS-1999-02 (1999)"},{"key":"8_CR16","unstructured":"Asokan, N., Baum-waidner, B., Schunter, M., Waidner, M.: Optimistic synchronous multi-party contract signing (1998)"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Baum-Waidner.: Optimistic asynchronous multi-party contract signing with reduced number of rounds (2001)","DOI":"10.1007\/3-540-48224-5_73"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24559-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T06:25:18Z","timestamp":1560839118000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24559-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642245589","9783642245596"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24559-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}