{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:24:05Z","timestamp":1759638245506},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319117362"},{"type":"electronic","value":"9783319117379"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11737-9_29","type":"book-chapter","created":{"date-parts":[[2014,10,15]],"date-time":"2014-10-15T00:52:14Z","timestamp":1413334334000},"page":"446-458","source":"Crossref","is-referenced-by-count":4,"title":["Extending MSVL with Function Calls"],"prefix":"10.1007","author":[{"given":"Nan","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Zhenhua","family":"Duan","sequence":"additional","affiliation":[]},{"given":"Cong","family":"Tian","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"Duan, Z.: Temporal logic and temporal logic programming. Science Press, Beijing (2005)","DOI":"10.1007\/11562931_27"},{"key":"29_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-642-34281-3_20","volume-title":"Formal Methods and Software Engineering","author":"M. Han","year":"2012","unstructured":"Han, M., Duan, Z., Wang, X.: Time constraints with temporal logic programming. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol.\u00a07635, pp. 266\u2013282. Springer, Heidelberg (2012)"},{"issue":"1","key":"29_CR3","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. Liu","year":"1973","unstructured":"Liu, C., Layland, J.: Scheduling algorithm for multiprogramming in a hard real-time environment. Journal of the ACM\u00a020(1), 46\u201361 (1973)","journal-title":"Journal of the ACM"},{"key":"29_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent system","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent system. Springer, New York (1992)"},{"key":"29_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-24559-6_8","volume-title":"Formal Methods and Software Engineering","author":"D. Mo","year":"2011","unstructured":"Mo, D., Wang, X., Duan, Z.: Asynchronous communication in MSVL. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol.\u00a06991, pp. 82\u201397. Springer, Heidelberg (2011)"},{"key":"29_CR6","first-page":"46","volume-title":"Proceedings of the 18th Annual Symposium on the Foundations of Computer Science","author":"A. Pnueli","year":"1977","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on the Foundations of Computer Science, pp. 46\u201357. IEEE Computer Society, Providence (1977)"},{"key":"29_CR7","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-11494-7_22","volume-title":"Proceedings of the 5th Colloquium on International Symposium in Programming","author":"J. Queille","year":"1982","unstructured":"Queille, J., Sifakis, J.: Specification and verification of concurrent systems in cesar. In: Dezani-Ciancaglini, M., Montanari, U. (eds.) Proceedings of the 5th Colloquium on International Symposium in Programming. LNCS, vol.\u00a0137, pp. 337\u2013351. Springer, Springer (1982)"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Wang, X., Duan, Z., Zhao, L.: Formalizing and implementing types in msvl, pp. 62\u201375 (2013)","DOI":"10.1007\/978-3-319-04915-1_5"},{"issue":"2","key":"29_CR9","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/BF02950419","volume":"16","author":"N. Zhan","year":"2001","unstructured":"Zhan, N.: An intuitive formal proof for deadline driven scheduler. Journal of Computer Science and Technology\u00a016(2), 146\u2013158 (2001)","journal-title":"Journal of Computer Science and Technology"},{"key":"29_CR10","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.tcs.2012.02.011","volume":"497","author":"N. Zhang","year":"2013","unstructured":"Zhang, N., Duan, Z., Tian, C.: A cylinder computation model for many-core parallel computing. Theoretical Computer Science\u00a0497, 68\u201383 (2013)","journal-title":"Theoretical Computer Science"},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"Zhang, N., Duan, Z., Tian, C., Du, D.: A formal proof of the deadline driven scheduler in pptl axiomatic system. Theoretical Computer Science (2014)","DOI":"10.1016\/j.tcs.2013.12.014"}],"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-319-11737-9_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T04:29:35Z","timestamp":1559017775000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11737-9_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319117362","9783319117379"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11737-9_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}