{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:46:47Z","timestamp":1725490007404},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729082"},{"type":"electronic","value":"9783540729099"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72909-9_58","type":"book-chapter","created":{"date-parts":[[2007,8,21]],"date-time":"2007-08-21T00:34:14Z","timestamp":1187656454000},"page":"528-533","source":"Crossref","is-referenced-by-count":0,"title":["Model Checking for BPEL4WS with Time"],"prefix":"10.1007","author":[{"given":"Chunming","family":"Gao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhoujun","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huowang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"58_CR1","volume-title":"Communicating and Mobile Systems:The \u03c0-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems:The \u03c0-Calculus. Cambridge University Press, Cambridge (1999)"},{"unstructured":"Koshkina, M., van Breugel, F.: Verication of business processes for web services. Technical Report CS-2003-11, Department of Computer Science, York University (2003)","key":"58_CR2"},{"unstructured":"Chen, L.: Timed Processes: Models, Axioms and Decidability. Laboratory for Foundations of Computer Science (Theses and Dissertations), University of Edinburgh (1992)","key":"58_CR3"},{"unstructured":"Andrews, T., Curbera, F., et al.: Business process execution language for web services, version1.1 (2003), \n                    \n                      www-128.ibm.com\/developerworks\/library\/specification\/ws-bpel","key":"58_CR4"},{"key":"58_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Proc. FOSSACS 1998","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) ETAPS 1998 and FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"unstructured":"Jing, C.: Study of Real-time Value-passing and Real-time Mobile System. PhD thesis. Institute of Software, Chinese Academy of Science. Beijing, China ( 2003)","key":"58_CR6"},{"key":"58_CR7","first-page":"365","volume-title":"Proceedings POPL 2000","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.D.: Anytime,anywhere?Modal logics for mobile ambients. In: Proceedings POPL 2000, pp. 365\u2013377. ACM, New York (2000)"},{"key":"58_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Proc.of FoSSaCS 2004","author":"W. Charatonik","year":"2004","unstructured":"Charatonik, W., Talbot, J.M.: The Decidability of Model Checking Mobile Ambients. In: FOSSACS 2004. LNCS, Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Advances in Web and Network Technologies, and Information Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72909-9_58.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T05:50:59Z","timestamp":1619502659000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72909-9_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540729082","9783540729099"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72909-9_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}