{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T02:45:01Z","timestamp":1725763501574},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319039978"},{"type":"electronic","value":"9783319039985"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03998-5_10","type":"book-chapter","created":{"date-parts":[[2013,12,12]],"date-time":"2013-12-12T08:10:42Z","timestamp":1386835842000},"page":"190-209","source":"Crossref","is-referenced-by-count":2,"title":["Two Semantic Models for Clock Relations in the Clock Constraint Specification Language"],"prefix":"10.1007","author":[{"given":"Grygoriy","family":"Zholtkevych","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Mallet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iryna","family":"Zaretska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Galyna","family":"Zholtkevych","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Andr\u00e9, C.: Syntax and Semantics of the Clock Constraint Specification Language (CCSL). Technical report, RR-6925, INRIA (2009), \n                    \n                      http:\/\/hal.inria.fr\/inria-00384077\/en\/"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-1-4419-6400-7_7","volume-title":"Synthesis of Embedded Software: Frameworks and Methodologies Correctness by Construction","author":"C. Andr\u00e9","year":"2010","unstructured":"Andr\u00e9, C., Mallet, F., de Simone, R.: The Time Model of Logical Clocks available in the OMG MARTE profile. In: Shukla, S.K., Talpin, J.-P. (eds.) Synthesis of Embedded Software: Frameworks and Methodologies Correctness by Construction, pp. 201\u2013227. Springer Science+Business Media, LLC, New York (2010)"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Baer, J.-L.: Multiprocessing Systems. IEEE Trans. on Computers\u00a0C-25(12), 1271\u20131277 (1976)","DOI":"10.1109\/TC.1976.1674594"},{"issue":"1","key":"10_CR4","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A. Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proc. IEEE.\u00a091(1), 64\u201383 (2003)","journal-title":"Proc. IEEE."},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/2342509.2342513","volume-title":"Proceedings of the First Edition of the MCC Workshop on Mobile Cloud Computing","author":"F. Bonomi","year":"2012","unstructured":"Bonomi, F., Milito, R., Zhu, J., Addepalli, S.: Fog computing and its role in the internet of things. In: Proceedings of the First Edition of the MCC Workshop on Mobile Cloud Computing, pp. 13\u201316. ACM, New York (2012)"},{"key":"10_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"issue":"3","key":"10_CR7","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1142\/S0218126603000763","volume":"12","author":"P. Guernic Le","year":"2003","unstructured":"Le Guernic, P., Talpin, J.-P., Le Lann, J.-C.: Polychrony for system design. Journal of Circuits, Systems, and Computers\u00a012(3), 261\u2013304 (2003)","journal-title":"Journal of Circuits, Systems, and Computers"},{"key":"10_CR8","unstructured":"Harzheim, E.: Ordered Sets. Springer Science+Business Media, Inc., New York (2005)"},{"key":"10_CR9","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International (1985)"},{"key":"10_CR10","unstructured":"Mallet, F.: Logical Time @ Work for the Modeling and Analysis of Embedded Systems, Habilitation thesis. LAMBERT Academic Publishing (2011)"},{"key":"10_CR11","volume-title":"Communicating and Mobile Systems: The Pi Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The Pi Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"10_CR12","unstructured":"Information technology \u2013 Object Management Group \u2013 Object Constraint Language (OCL). ISO\/IEC 19507:2012(E)"},{"issue":"1","key":"10_CR13","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains. Theor. Comp. Sc.\u00a013(1), 85\u2013108 (1981)","journal-title":"Theor. Comp. Sc."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Alexander, M., Gardner, W.: Process Algebra for Parallel and Distributed Processing. CRC Press (2009)","DOI":"10.1201\/9781420064872"},{"key":"10_CR15","unstructured":"Romenska, Y., Mallet, F.: Lazy Parallel Synchronous Composition of Infinite Transition Systems. In: Ermolayev, V., et al. (eds.) ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Proc. 9th Int. Conf. ICTERI 2013, vol.\u00a01000, pp. 130\u2013145. CEUR-WS (2013)"},{"key":"10_CR16","unstructured":"UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. OMG (2011), \n                    \n                      http:\/\/www.omg.org\/spec\/MARTE\/1.1\/pdf\/"},{"key":"10_CR17","unstructured":"OMG Unified Modeling LanguageTM(OMG UML), Infrastructure. OMG (2011), \n                    \n                      http:\/\/www.omg.org\/spec\/UML\/2.4.1\/Infrastructure"},{"key":"10_CR18","unstructured":"OMG Unified Modeling LanguageTM(OMG UML), Superstructure. OMG (2011), \n                    \n                      http:\/\/www.omg.org\/spec\/UML\/2.4.1\/Superstructure"}],"container-title":["Communications in Computer and Information Science","Information and Communication Technologies in Education, Research, and Industrial Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03998-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T10:57:19Z","timestamp":1558781839000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03998-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319039978","9783319039985"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03998-5_10","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}