{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:03:22Z","timestamp":1746245002291,"version":"3.40.4"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319054155"},{"type":"electronic","value":"9783319054162"}],"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-05416-2_12","type":"book-chapter","created":{"date-parts":[[2014,4,5]],"date-time":"2014-04-05T05:41:09Z","timestamp":1396676469000},"page":"178-194","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude"],"prefix":"10.1007","author":[{"given":"Zeynab","family":"Sabahi-Kaviani","sequence":"first","affiliation":[]},{"given":"Ramtin","family":"Khosravi","sequence":"additional","affiliation":[]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[]},{"given":"Peter Csaba","family":"\u00d6lveczky","sequence":"additional","affiliation":[]},{"given":"Ehsan","family":"Khamespanah","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,4,6]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Aceto, L., Cimini, M., Ing\u00f3lfsd\u00f3ttir, A., Reynisson, A.H., Sigurdarson, S.H., Sirjani, M.: Modelling and simulation of asynchronous real-time systems using Timed Rebeca. In: Proceedings of the FOCLASA\u201911. EPTCS, vol. 58 (2011)","key":"12_CR1","DOI":"10.4204\/EPTCS.58.1"},{"key":"12_CR2","series-title":"MIT Press series in artificial intelligence","volume-title":"ACTORS - A Model of Concurrent Computation in Distributed Systems","author":"G Agha","year":"1990","unstructured":"Agha, G.: ACTORS - A Model of Concurrent Computation in Distributed Systems. MIT Press series in artificial intelligence. MIT Press, Cambridge (1990)"},{"issue":"12","key":"12_CR3","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1016\/j.scico.2010.10.002","volume":"77","author":"K Bae","year":"2012","unstructured":"Bae, K., \u00d6lveczky, P.C., Feng, T.H., Lee, E.A., Tripakis, S.: Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. Sci. Comput. Program. 77(12), 1235\u20131271 (2012)","journal-title":"Sci. Comput. Program."},{"key":"12_CR4","series-title":"LNCS","first-page":"212","volume-title":"FSEN 2009","author":"F de Boer","year":"2010","unstructured":"de Boer, F., Chothia, T., Jaghoori, M.M.: Modular schedulability analysis of concurrent objects in Creol. In: Arbab, F., Sirjani, M. (eds.) FSEN 2009. LNCS, vol. 5961, pp. 212\u2013227. Springer, Heidelberg (2010)"},{"key":"12_CR5","series-title":"LNCS","volume-title":"All About Maude","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C. (eds.): All About Maude. LNCS, vol. 4350. Springer, Heidelberg (2007)"},{"unstructured":"Ding, H., Zheng, C., Agha, G., Sha, L.: Automated verification of the dependability of object-oriented real-time systems. In: Proceedings of the WORDS Fall. IEEE (2003)","key":"12_CR6"},{"unstructured":"IEEE Standard for Information Technology - Specific Requirements Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY). IEEE Std 802.11e-2005 (Amendment to IEEE Std 802.11, 1999 Edition (Reaff 2003)) (2005)","key":"12_CR7"},{"issue":"1","key":"12_CR8","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s10270-006-0011-2","volume":"6","author":"EB Johnsen","year":"2007","unstructured":"Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. Softw. Syst. Model. 6(1), 39\u201358 (2007)","journal-title":"Softw. Syst. Model."},{"doi-asserted-by":"crossref","unstructured":"Khamespanah, E., Sabahi, Z., Khosravi, R., Sirjani, M., Izadi, M.: Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system. In: AGERE!\u201912, SPLASH Workshops. ACM (2012)","key":"12_CR9","DOI":"10.1145\/2414639.2414645"},{"key":"12_CR10","series-title":"LNCS","first-page":"182","volume-title":"WRLA 2012","author":"D Lepri","year":"2012","unstructured":"Lepri, D., \u00c1brah\u00e1m, E., \u00d6lveczky, P.C.: Timed CTL model checking in Real-Time Maude. In: Dur\u00e1n, F. (ed.) WRLA 2012. LNCS, vol. 7571, pp. 182\u2013200. Springer, Heidelberg (2012)"},{"issue":"1","key":"12_CR11","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditioned rewriting logic as a united model of concurrency. Theoret. Comput. Sci. 96(1), 73\u2013155 (1992)","journal-title":"Theoret. Comput. Sci."},{"issue":"1\u20132","key":"12_CR12","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10990-007-9001-5","volume":"20","author":"PC \u00d6lveczky","year":"2007","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Semantics and pragmatics of Real-Time Maude. High.-Order Symbolic Comput. 20(1\u20132), 161\u2013196 (2007)","journal-title":"High.-Order Symbolic Comput."},{"key":"12_CR13","series-title":"LNCS","first-page":"332","volume-title":"TACAS 2008","author":"PC \u00d6lveczky","year":"2008","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: The Real-Time Maude tool. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 332\u2013336. Springer, Heidelberg (2008)"},{"key":"12_CR14","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-642-24933-4_19","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"PC \u00d6lveczky","year":"2011","unstructured":"\u00d6lveczky, P.C.: Semantics, simulation, and formal analysis of modeling languages for embedded systems in Real-Time Maude. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 368\u2013402. Springer, Heidelberg (2011)"},{"unstructured":"Rebeca Language Home Page. http:\/\/www.rebeca-lang.org","key":"12_CR15"},{"doi-asserted-by":"crossref","unstructured":"Ren, S., Agha, G.: RTsynchronizer: language support for real-time specifications in distributed systems. In: Proceedings of the LCT-RTS\u201995. ACM (1995)","key":"12_CR16","DOI":"10.1145\/216636.216656"},{"issue":"4","key":"12_CR17","doi-asserted-by":"crossref","first-page":"385","DOI":"10.3233\/FUN-2004-63405","volume":"63","author":"M Sirjani","year":"2004","unstructured":"Sirjani, M., Movaghar, A., Shali, A., de Boer, F.S.: Modeling and verification of reactive systems using Rebeca. Fundam. Inform. 63(4), 385\u2013410 (2004)","journal-title":"Fundam. Inform."}],"container-title":["Communications in Computer and Information Science","Formal Techniques for Safety-Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05416-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T08:46:55Z","timestamp":1746175615000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05416-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319054155","9783319054162"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05416-2_12","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"6 April 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}