{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:13:40Z","timestamp":1725747220901},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642397172"},{"type":"electronic","value":"9783642397189"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39718-9_16","type":"book-chapter","created":{"date-parts":[[2013,8,30]],"date-time":"2013-08-30T03:01:54Z","timestamp":1377831714000},"page":"267-281","source":"Crossref","is-referenced-by-count":0,"title":["A Transformation from p-\u03c0 to MSVL"],"prefix":"10.1007","author":[{"given":"Ling","family":"Luo","sequence":"first","affiliation":[]},{"given":"Zhenhua","family":"Duan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Prentice-Hall (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J.A. Bergstra","year":"1985","unstructured":"Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. Journal of Theoretical Computer Science\u00a037, 77\u2013121 (1985)","journal-title":"Journal of Theoretical Computer Science"},{"issue":"6","key":"16_CR4","doi-asserted-by":"crossref","first-page":"500","DOI":"10.1007\/s11576-008-0095-0","volume":"50","author":"Peter Buxmann","year":"2008","unstructured":"Autoren, D., Buxmann, P., Hess, T.: Software as a Service (2008), doi:10.1007\/s11576-008-0095-0","journal-title":"WIRTSCHAFTSINFORMATIK"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Ibrahim, M., Holley, K., Josuttis, N.M.: The Future of SOA: What worked, what didn\u2019t, and where is it going from here? In: Proceeding of OOPSLA, pp. 21\u201325 (2007)","DOI":"10.1145\/1297846.1297975"},{"key":"16_CR6","unstructured":"Armbrust, M., Fox, A., Griffith, R., et al.: Above the Clouds: A Berkeley View of Cloud Computing. Technical Report No. UCB\/EECS-2009-28 (2009)"},{"key":"16_CR7","unstructured":"Milner, R.: Communicating and Mobile Systems: The \u03c0-Calculus. Cambridge University Press (1999)"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Inf. Comput.\u00a0100, 1\u201377 (1992)","journal-title":"Inf. Comput."},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0304-3975(93)90156-N","volume":"114","author":"R. Milner","year":"1993","unstructured":"Milner, R., Parrow, J., Walker, D.: Modal logics for mobile processes. Theoret. Comp. Sci.\u00a0114, 149\u2013171 (1993)","journal-title":"Theoret. Comp. Sci."},{"key":"16_CR10","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus: a Theory of Mobile Processes. Cambridge University Press (2002)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-57208-2_10","volume-title":"CONCUR\u201993","author":"D. Sangiorgi","year":"1993","unstructured":"Sangiorgi, D.: A theory of bisimulation for the \u03c0-calculus. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 127\u2013142. Springer, Heidelberg (1993)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-58216-9_48","volume-title":"Logic Programming and Automated Reasoning","author":"Z. Duan","year":"1994","unstructured":"Duan, Z., Koutny, M., Holt, C.: Projection in temporal logic programming. In: Pfenning, F. (ed.) LPAR 1994. LNCS, vol.\u00a0822, pp. 333\u2013344. Springer, Heidelberg (1994)"},{"key":"16_CR13","unstructured":"Duan, Z.: An extended interval temporal logic and a framing technique for temporal logic programming. Ph.D. Thesis, University of Newcastle upon Tyne (1996)"},{"key":"16_CR14","volume-title":"Temporal logic and temporal logic programming","author":"Z. Duan","year":"2006","unstructured":"Duan, Z.: Temporal logic and temporal logic programming. Science Press, Beijing (2006) ISBN:7-03-016651-5\/TP. 3158"},{"key":"16_CR15","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. Journal of Science of Computer Programming\u00a070, 31\u201361 (2008)","journal-title":"Journal of Science of Computer Programming"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/BFb0020972","volume-title":"Hybrid Systems III","author":"C. Zhou","year":"1996","unstructured":"Zhou, C., Wang, J., Ravn, A.: A formal description of hybrid systems. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol.\u00a01066, pp. 511\u2013530. Springer, Heidelberg (1996)"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/3-540-57318-6_23","volume-title":"Hybrid Systems","author":"C. Zhou","year":"1993","unstructured":"Zhou, C., Rays, A.P., Hansen, M.R.: An extended duration calculus for hybrid systems. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) HS 1991 and HS 1992. LNCS, vol.\u00a0736, pp. 36\u201359. Springer, Heidelberg (1993)"},{"issue":"5","key":"16_CR18","doi-asserted-by":"publisher","first-page":"865","DOI":"10.1017\/S0960129510000241","volume":"20","author":"X. Yang","year":"2010","unstructured":"Yang, X., Duan, Z., Ma, Q.: Axiomatic semantics of projection temporal logic programs. Mathematical Structures in Computer Science\u00a020(5), 865\u2013914 (2010)","journal-title":"Mathematical Structures in Computer Science"},{"key":"16_CR19","unstructured":"Yang, X., Duan, Z.: Operational semantics of framed tempura (2008), doi:10. 1016\/j. jlap. 2008. 08. 001"},{"issue":"1","key":"16_CR20","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s00236-007-0062-z","volume":"45","author":"Z. Duan","year":"2008","unstructured":"Duan, Z., Tian, C., Zhang, L.: A decision procedure for propositional projection temporal logic with infinite models. Acta Informatica\u00a045(1), 43\u201378 (2008)","journal-title":"Acta Informatica"},{"key":"16_CR21","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)"},{"issue":"6","key":"16_CR22","first-page":"1069","volume":"35","author":"X. Wang","year":"2008","unstructured":"Wang, X., Duan, Z.: Pointers in framing projection temporal logic programming languages. Journal of Xidian University\u00a035(6), 1069\u20131074 (2008)","journal-title":"Journal of Xidian University"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Luo, L., Duan, Z.: An extended \u03c0-calculus. In: Proceeding of CNSI 2012, pp. 632\u2013637 (2012)","DOI":"10.1071\/ASEG2012ab147"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2013"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39718-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,5]],"date-time":"2022-03-05T03:48:21Z","timestamp":1646452101000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39718-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397172","9783642397189"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39718-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}