{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T05:13:51Z","timestamp":1740028431828,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253044"},{"type":"electronic","value":"9783540318620"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31862-0_31","type":"book-chapter","created":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T13:28:55Z","timestamp":1268400535000},"page":"431-446","source":"Crossref","is-referenced-by-count":3,"title":["Duration Calculus: A Real-Time Semantic for B"],"prefix":"10.1007","author":[{"given":"Samuel","family":"Colin","sequence":"first","affiliation":[]},{"given":"Georges","family":"Mariano","sequence":"additional","affiliation":[]},{"given":"Vincent","family":"Poirriez","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B\u00a0Book - Assigning Programs to Meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B\u00a0Book - Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"31_CR2","unstructured":"Abrial, J.-R.: Event driven sequential program construction. \u00c9cole Jeunes chercheurs en programmation (March 2000)"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Behm, P., Benoit, P., Faivre, A., Meynadier, J.-M.: METEOR: A successful application of B in a large project. In: Wing, et al. (eds.) [WWD 1999], pp. 369\u2013387","DOI":"10.1007\/3-540-48119-2_22"},{"key":"31_CR4","unstructured":"Bodeveix, J.-P., Filali, M.: Machines virtuelles pour le B \u00e9v\u00e9nementiel. In: AFADL 2003 [IRI03], pp. 227\u2013242"},{"key":"31_CR5","volume-title":"Tenth IEEE Workshop on Real-Time Operating Systems and Software","author":"C.L. Heitmeyer","year":"1993","unstructured":"Heitmeyer, C.L., Labaw, B.G., Jeffords, R.D.: A benchmark for comparing different approaches for specifying and verifying real-time systems. In: Tenth IEEE Workshop on Real-Time Operating Systems and Software. IEEE Computer Society Press, Los Alamitos (1993), http:\/\/chacs.nrl.navy.mil\/personnel\/heitmeyer.html"},{"key":"31_CR6","unstructured":"Colin, S., Mariano, G., Poirriez, V.: A natural extension of B substitutions: postconditions. Technical report, LAMIH\/ROI (2004), http:\/\/www.univ-valenciennes.fr\/ROAD\/WP\/"},{"key":"31_CR7","unstructured":"Colin, S., Poirriez, V., Mariano, G.: Thoughts about the implementation of the duration calculus with coq. In: 4th International Workshop on the Implementation of Logics, volume Technical report ULCS-03-018, University of Liverpool (September 2003), http:\/\/www.csc.liv.ac.uk\/research\/techreports\/"},{"key":"31_CR8","unstructured":"http:\/\/www.iist.unu.edu\/dc\/"},{"key":"31_CR9","unstructured":"http:\/\/www.iist.unu.edu\/home\/Unuiist\/newrh\/III\/1\/page.html"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Dutertre, B.: Complete proof systems for first order interval temporal logic. In: Logic in Computer Science, pp. 36\u201343 (1995)","DOI":"10.1109\/LICS.1995.523242"},{"key":"31_CR11","unstructured":"Hammad, A., Julliand, J., Mountassir, H., Ossami, D.O.: Expression en B et raffinement des syt\u00e8mes r\u00e9actifs temps r\u00e9el. In: AFADL 2003 [IRI03], pp. 211\u2013226 (2003)"},{"key":"31_CR12","series-title":"Monographs in Theoretical Computer Science. An EATCS Series","volume-title":"Duration Calculus, a formal approach to real-time systems","author":"M.R. Hansen","year":"2004","unstructured":"Hansen, M.R., Zhou, C.C.: Duration Calculus, a formal approach to real-time systems. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2004), ISBN: 3-540-40823-1"},{"key":"31_CR13","unstructured":"IRISA. Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciels, IRISA Rennes \u2013 France, IRISA (January 2003)"},{"key":"31_CR14","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/BF02950405","volume":"15","author":"Z. Jianhua","year":"2000","unstructured":"Jianhua, Z., Hung, D.V.: Checking timed automata for some discretisable duration properties. Journal of Computer Science and Technology\u00a015, 423\u2013429 (2000)","journal-title":"Journal of Computer Science and Technology"},{"key":"31_CR15","unstructured":"Lanet, J.-L.: Using the B method to model protocols. In: AFADL 1998 [LIS98], pp. 79\u201390 (1998)"},{"key":"31_CR16","unstructured":"Lano, K., Fiadeiro, J., Dick, J.: Extending B AMN with concurrency. Technical report, Dept. of Computing, Imperial College (1996)"},{"key":"31_CR17","unstructured":"LISI\/ENSMA. Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciels, T\u00e9l\u00e9port2 - Avenue 1 - BP109 - 86960 FUTUROSCOPE Cedex, LISI\/ENSMA (October 1998)"},{"key":"31_CR18","unstructured":"Marcano, R., Levy, N.: Using B formal specifications for analysis and verification of UML\/OCL models. In: Workshop on consistency problems in UML-based software development. 5th International Conference on the Unified Modeling Language, Dresden, Germany (September 2002)"},{"key":"31_CR19","unstructured":"Naijun, Z.: Another formal proof for deadline driven scheduler. Technical Report 169, UNU\/IIST, P.O. Box 3058, Macau (August 1999)"},{"key":"31_CR20","unstructured":"Pandya, P.K.: Specifying and deciding quantified discrete-time duration calculus formulae using dcvalid. In: RT-TOOLS 2001, Aalborg (August 2001) (affiliated with CONCUR 2001). Technical report TCS-00-PKP-1, Tata Institute of Fundamental Research, Mumbai (2000)"},{"key":"31_CR21","unstructured":"Petit, D.: G\u00e9n\u00e9ration automatique de composants logiciels s\u00fbrs \u00e0 partir de sp\u00e9cifications formelles B. Th\u00e8se de doctorat, Universit\u00e9 de Valenciennes et du Hainaut-Cambr\u00e9sis (December 2003)"},{"key":"31_CR22","unstructured":"Rasmussen, T.M.: Interval Logic - Proof Theory and Theorem Proving. PhD thesis, Informatics and Mathematical Modeling, Technical University of Denmark (January 2002)"},{"key":"31_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/3-540-44798-9_7","volume-title":"Correct Hardware Design and Verification Methods","author":"F. Siewe","year":"2001","unstructured":"Siewe, F., Van Hung, D.: Deriving real-time programs from duration calculus specifications. In: Margaria, T., Melham, T.F. (eds.) CHARME 2001. LNCS, vol.\u00a02144, pp. 92\u201397. Springer, Heidelberg (2001)"},{"key":"31_CR24","unstructured":"Treharne, H., Schneider, S.: Capturing timing requirements formally in AMN. Technical Report CSD-TR-99-06, Royal Holloway, Department of Computer Science. University of London, Egham, Surrey TW20 0EX, England (June 1999)"},{"key":"31_CR25","series-title":"Lecture Notes in Computer Science","first-page":"1861","volume-title":"FM\u201999 - Formal Methods","year":"1999","unstructured":"Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.): FM 1999. LNCS, vol.\u00a01709, p. 1861. Springer, Heidelberg (1999)"},{"issue":"5","key":"31_CR26","first-page":"269","volume":"10","author":"C.C. Zhou","year":"1991","unstructured":"Zhou, C.C., Hoare, C.A.R., Ravn, A.P.: A calculus of durations. Information Processing Letters\u00a010(5), 269\u2013276 (1991)","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing - ICTAC 2004"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31862-0_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T12:02:46Z","timestamp":1739966566000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31862-0_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253044","9783540318620"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31862-0_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}