{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:48:20Z","timestamp":1742921300101,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319175805"},{"type":"electronic","value":"9783319175812"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-17581-2_12","type":"book-chapter","created":{"date-parts":[[2015,4,15]],"date-time":"2015-04-15T12:22:36Z","timestamp":1429100556000},"page":"174-188","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Coalgebraic Semantic Model for the Clock Constraint Specification Language"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Mallet","sequence":"first","affiliation":[]},{"given":"Grygoriy","family":"Zholtkevych","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,16]]},"reference":[{"key":"12_CR1","unstructured":"Andr\u00e9, C.: Syntax and semantics of the Clock Constraint Specification Language (CCSL). Research report 6925, INRIA, May 2009. http:\/\/hal.inria.fr\/inria-00384077\/"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Andr\u00e9, C., Mallet, F., DeAntoni, J.: VHDL observers for clock constraint checking. In: International Symposium on Industrial Embedded Systems (SIES), pp. 98\u2013107. IEEE, Trento, Italy, July 2010. http:\/\/dx.doi.org\/10.1109\/SIES.2010.5551372","DOI":"10.1109\/SIES.2010.5551372"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/978-3-540-75209-7_38","volume-title":"Model Driven Engineering Languages and Systems","author":"C Andr\u00e9","year":"2007","unstructured":"Andr\u00e9, C., Mallet, F., de Simone, R.: Modeling time(s). In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 559\u2013573. Springer, Heidelberg (2007). http:\/\/dx.doi.org\/10.1007\/978-3-540-75209-7 38"},{"issue":"1","key":"12_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 91(1), 64\u201383 (2003)","journal-title":"Proc. IEEE"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1007\/3-540-44585-4_48","volume-title":"Computer Aided Verification","author":"Z Dang","year":"2001","unstructured":"Dang, Z.: Binary reachability analysis of pushdown timed automata with dense clocks. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 506\u2013518. Springer, Heidelberg (2001)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-642-30561-0_4","volume-title":"Objects, Models, Components, Patterns","author":"J DeAntoni","year":"2012","unstructured":"DeAntoni, J., Mallet, F.: TimeSquare: treat your models with logical time. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol. 7304, pp. 34\u201341. Springer, Heidelberg (2012). http:\/\/dx.doi.org\/10.1007\/978-3-642-30561-0 4"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-22944-2_4","volume-title":"Algebra and Coalgebra in Computer Science","author":"G Gupta","year":"2011","unstructured":"Gupta, G., Saeedloei, N., DeVries, B., Min, R., Marple, K., Klu\u017aniak, F.: Infinite computation, co-induction and computational logic. In: Corradini, A., Klin, B., C\u00eerstea, C. (eds.) CALCO 2011. LNCS, vol. 6859, pp. 40\u201354. Springer, Heidelberg (2011)"},{"issue":"7","key":"12_CR8","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"12_CR9","unstructured":"Mallet, F.: Logical Time @ Work for the Modeling and Analysis of Embedded Systems. LAMBERT Academic Publishing, January 2011, ISBN: 978-3-8433-9388-1"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Mallet, F., Andr\u00e9, C.: On the semantics of UML\/Marte clock constraints. In: 2009 IEEE International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing, ISORC, pp. 305\u2013312. IEEE Computer Press, Tokyo, March 2009. http:\/\/dx.doi.org\/10.1109\/ISORC.2009.27","DOI":"10.1109\/ISORC.2009.27"},{"key":"12_CR11","unstructured":"Mallet, F., Millo, J.V., de Simone, R.: Safe CCSL specifications and marked graphs. In: 11th ACM\/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE, pp. 157\u2013166. IEEE (2013). http:\/\/ieeexplore.ieee.org\/xpl\/freeabs_all.jsp?arnumber=6670955"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022474","volume-title":"Semantics of Concurrent Computation","author":"M Nielsen","year":"1979","unstructured":"Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains. In: Kahn, G. (ed.) Semantics of Concurrent Computation. LNCS, vol. 70. Springer, Heidelberg (1979). http:\/\/dx.doi.org\/10.1007\/BFb0022474"},{"key":"12_CR13","unstructured":"OMG: UML Profile for MARTE, v1.0. Object Management Group, November 2009, formal\/2009-11-02"},{"key":"12_CR14","first-page":"17","volume":"60\u201361","author":"GD Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program. 60\u201361, 17\u2013139 (2004)","journal-title":"J. Log. Algebr. Program."},{"issue":"1","key":"12_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"JJMM Rutten","year":"2000","unstructured":"Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theor. Comput. Sci. 249(1), 3\u201380 (2000). http:\/\/dx.doi.org\/10.1016\/S0304-3975(00)00056-6","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"12_CR16","doi-asserted-by":"publisher","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific J. Math. 5(2), 285\u2013309 (1955). http:\/\/projecteuclid.org\/euclid.pjm\/1103044538","journal-title":"Pacific J. Math."},{"key":"12_CR17","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-319-03998-5_10","volume-title":"Information and Communication Technologies in Education, Research, and Industrial Applications","author":"G Zholtkevych","year":"2013","unstructured":"Zholtkevych, G., Mallet, F., Zaretska, I., Zholtkevych, G.: Two semantic models for clock relations in the clock constraint specification language. In: Ermolayev, V., Mayr, H.C., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G. (eds.) ICTERI 2013. CCIS, vol. 412, pp. 190\u2013209. Springer, Heidelberg (2013). http:\/\/dx.doi.org\/10.1007\/978-3-319-03998-5 10"}],"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-17581-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T08:56:50Z","timestamp":1676451410000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17581-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319175805","9783319175812"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17581-2_12","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"16 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}