{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T21:15:09Z","timestamp":1775769309394,"version":"3.50.1"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319051185","type":"print"},{"value":"9783319051192","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05119-2_8","type":"book-chapter","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T09:36:28Z","timestamp":1394184988000},"page":"119-135","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Timed $$\\pi $$-Calculus"],"prefix":"10.1007","author":[{"given":"Neda","family":"Saeedloei","sequence":"first","affiliation":[]},{"given":"Gopal","family":"Gupta","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,8]]},"reference":[{"issue":"2","key":"8_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR2","unstructured":"Berger, M.: Towards abstractions for distributed systems. Technical report, Imperial College London (2004)"},{"issue":"1","key":"8_CR3","first-page":"23","volume":"11","author":"J Chen","year":"2006","unstructured":"Chen, J.: Timed extensions of $$\\pi $$ calculus. Theor. Comput. Sci. 11(1), 23\u201358 (2006)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"8_CR4","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.entcs.2006.07.013","volume":"164","author":"G Ciobanu","year":"2006","unstructured":"Ciobanu, G., Prisacariu, C.: Timers for distributed systems. Electr. Notes Theor. Comput. Sci. 164(3), 81\u201399 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"8_CR5","series-title":"LNCS","first-page":"296","volume-title":"LOMAPS-WS 1996","author":"P Degano","year":"1997","unstructured":"Degano, P., Loddo, J.V., Priami, C.: Mobile processes with local clocks. In: Dam, M. (ed.) LOMAPS-WS 1996. LNCS, vol. 1192, pp. 296\u2013319. Springer, Heidelberg (1997)"},{"key":"8_CR6","unstructured":"Gupta, R.: Programming models and methods for spatiotemporal actions and reasoning in cyber-physical systems. In: NSF Workshop on CPS (2006)"},{"key":"8_CR7","first-page":"120","volume-title":"In: IEEE Real-Time Systems Symposium","author":"C Heitmeyer","year":"1994","unstructured":"Heitmeyer, C., Lynch, N.: The generalized railroad crossing: a case study in formal verification of real-time systems. In: IEEE Real-Time Systems Symposium, pp. 120\u2013131. IEEE Computer Society Press, Los Alamitos (1994)"},{"key":"8_CR8","series-title":"LNCS","first-page":"282","volume-title":"FoSSaCS 2005","author":"C Laneve","year":"2005","unstructured":"Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FoSSaCS 2005. LNCS, vol. 3441, pp. 282\u2013298. Springer, Heidelberg (2005)"},{"key":"8_CR9","volume-title":"In: IEEE Symposium on Object Oriented Real-Time Distributed Computing, ISORC \u201908","author":"EA Lee","year":"2008","unstructured":"Lee, E.A.: Cyber physical systems: design challenges. In: IEEE Symposium on Object Oriented Real-Time Distributed Computing, ISORC \u201908. IEEE Computer Society, Washington (2008)"},{"issue":"1","key":"8_CR10","first-page":"139","volume":"24","author":"JY Lee","year":"2002","unstructured":"Lee, J.Y., Zic, J.: On modeling real-time mobile processes. Aust. Comput. Sci. Commun. 24(1), 139\u2013147 (2002)","journal-title":"Aust. Comput. Sci. Commun."},{"key":"8_CR11","series-title":"LNCS","first-page":"287","volume-title":"EPEW\/WS-EM 2005","author":"M Mazzara","year":"2005","unstructured":"Mazzara, M.: Timing issues in web services composition. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-EM 2005. LNCS, vol. 3670, pp. 287\u2013302. Springer, Heidelberg (2005)"},{"issue":"1","key":"8_CR12","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, parts i and ii. Inf. Comput. 100(1), 1\u201377 (1992)","journal-title":"Inf. Comput."},{"key":"8_CR13","unstructured":"Olate, C.: Universal temporal concurrent constraint programming. Ph.D thesis, LIX, Ecole Polytechnique (2009)"},{"key":"8_CR14","series-title":"LNCS","first-page":"125","volume-title":"FMOODS\/FORTE 2010, Part II","author":"E Posse","year":"2010","unstructured":"Posse, E., Dingel, J.: Theory and implementation of a real-time extension to the $$\\pi $$-calculus. In: Hatcliff, J., Zucca, E. (eds.) FMOODS\/FORTE 2010, Part II. LNCS, vol. 6117, pp. 125\u2013139. Springer, Heidelberg (2010)"},{"key":"8_CR15","unstructured":"Saeedloei, N.: Modeling and verification of real-time and cyber-physical systems. Ph.D. thesis, University of Texas at Dallas, Richardson, Texas (2011)"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/2000367.2000374","volume":"8","author":"N Saeedloei","year":"2011","unstructured":"Saeedloei, N., Gupta, G.: A logic-based modeling and verification of CPS. SIGBED Rev. 8, 31\u201334 (2011). http:\/\/doi.acm.org\/10.1145\/2000367.2000374","journal-title":"SIGBED Rev."},{"key":"8_CR17","series-title":"LNCS","first-page":"217","volume-title":"ICALP 1991","author":"W Yi","year":"1991","unstructured":"Yi, W.: CCS + time = an interleaving model for real time systems. In: Albert, J.L., Monien, B., Artalejo, M.R. (eds.) ICALP 1991. LNCS, vol. 510, pp. 217\u2013228. Springer, Heidelberg (1991)"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05119-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,22]],"date-time":"2023-12-22T05:10:56Z","timestamp":1703221856000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05119-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319051185","9783319051192"],"references-count":17,"aliases":["10.1007\/978-3-319-14128-2_8"],"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05119-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"8 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}