{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:05:20Z","timestamp":1747548320166},"reference-count":40,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1993,4,1]],"date-time":"1993-04-01T00:00:00Z","timestamp":733622400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":7412,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[1993,4]]},"DOI":"10.1016\/0167-6423(93)90025-k","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:09:22Z","timestamp":1027656562000},"page":"141-171","source":"Crossref","is-referenced-by-count":18,"title":["Embedding time granularity in a logical specification language for synchronous real-time systems"],"prefix":"10.1016","volume":"20","author":[{"given":"E.","family":"Ciapessoni","sequence":"first","affiliation":[]},{"given":"E.","family":"Corsetti","sequence":"additional","affiliation":[]},{"given":"A.","family":"Montanari","sequence":"additional","affiliation":[]},{"given":"P.","family":"San Pietro","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0167-6423(93)90025-K_BIB1","series-title":"A Course in Mathematical Logic","author":"Bell","year":"1977"},{"key":"10.1016\/0167-6423(93)90025-K_BIB2","doi-asserted-by":"crossref","DOI":"10.1007\/BF01257083","article-title":"The temporal logic of branching time","volume":"20","author":"Ben-Ari","year":"1983","journal-title":"Acta Inform"},{"issue":"1","key":"10.1016\/0167-6423(93)90025-K_BIB3","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","article-title":"Introduction to the ISO specification language LOTOS","volume":"14","author":"Bolognesi","year":"1987","journal-title":"Comput. Networks ISDN Systems"},{"key":"10.1016\/0167-6423(93)90025-K_BIB4","series-title":"Logical specifications of real-time granular systems in the synchronous case","author":"Ciapessoni","year":"1992"},{"key":"10.1016\/0167-6423(93)90025-K_BIB5","series-title":"Temporal Aspects of Information Systems","article-title":"A simple, general structure for temporal domains","author":"Clifford","year":"1988"},{"key":"10.1016\/0167-6423(93)90025-K_BIB6","article-title":"TRIO specifications on various time scales","author":"Corsetti","year":"1990","journal-title":"ENEL-CRA Research Rept."},{"issue":"2","key":"10.1016\/0167-6423(93)90025-K_BIB7","doi-asserted-by":"crossref","DOI":"10.1007\/BF00365335","article-title":"Dealing with different time granularities in formal specifications of real-time systems","volume":"3","author":"Corsetti","year":"1991","journal-title":"J. Real-Time Systems"},{"key":"10.1016\/0167-6423(93)90025-K_BIB8","article-title":"Time granularity in logical specifications","author":"Corsetti","year":"1991","journal-title":"Proceedings Sixth Italian Conference on Logic Programming"},{"key":"10.1016\/0167-6423(93)90025-K_BIB9","doi-asserted-by":"crossref","DOI":"10.1109\/IWSSD.1991.213072","article-title":"Dealing with different time scales in formal specifications","author":"Corsetti","year":"1991","journal-title":"Proceedings Sixth International Workshop on Software Specification and Design"},{"key":"10.1016\/0167-6423(93)90025-K_BIB10","article-title":"The macro-event calculus: representing temporal granularity","author":"Evans","year":"1990","journal-title":"Proceedings PRICAL"},{"key":"10.1016\/0167-6423(93)90025-K_BIB11","article-title":"Principles of OBJ2","author":"Futatsugi","year":"1985","journal-title":"Proceedings 12th ACM Symposium on Principles of Programming Languages"},{"key":"10.1016\/0167-6423(93)90025-K_BIB12","series-title":"Temporal Logics and Their Applications","article-title":"The logic of occurence","author":"Galton","year":"1987"},{"issue":"2","key":"10.1016\/0167-6423(93)90025-K_BIB13","doi-asserted-by":"crossref","DOI":"10.1016\/0164-1212(90)90074-V","article-title":"TRIO, a logic language for executable specifications of real-time systems","volume":"12","author":"Ghezzi","year":"1990","journal-title":"J. Systems Software"},{"key":"10.1016\/0167-6423(93)90025-K_BIB14","series-title":"Fundamentals of Software Engineering","author":"Ghezzi","year":"1991"},{"issue":"2","key":"10.1016\/0167-6423(93)90025-K_BIB15","doi-asserted-by":"crossref","DOI":"10.1109\/32.67597","article-title":"A unified high-level Petri net model for time critical systems","volume":"17","author":"Ghezzi","year":"1991","journal-title":"IEEE Trans. Softw. Engrg."},{"key":"10.1016\/0167-6423(93)90025-K_BIB16","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: a visual formalism for complex systems","volume":"8","author":"Harel","year":"1987","journal-title":"Sci. Comput. Programming"},{"key":"10.1016\/0167-6423(93)90025-K_BIB17","year":"1987"},{"key":"10.1016\/0167-6423(93)90025-K_BIB18","article-title":"Granularity","author":"Hobbs","year":"1985","journal-title":"Proceedings IJCAI-85"},{"key":"10.1016\/0167-6423(93)90025-K_BIB19","series-title":"An Introduction to Modal Logic","author":"Hughes","year":"1968"},{"key":"10.1016\/0167-6423(93)90025-K_BIB20","series-title":"Systematic Software Development Using VDM","author":"Jones","year":"1986"},{"issue":"1","key":"10.1016\/0167-6423(93)90025-K_BIB21","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1985.231535","article-title":"Testing software specifications to detect design errors","volume":"11","author":"Kemmerer","year":"1985","journal-title":"IEEE Trans. Softw. Engrg."},{"key":"10.1016\/0167-6423(93)90025-K_BIB22","doi-asserted-by":"crossref","DOI":"10.1007\/BF01995674","article-title":"Specifying real-time properties with metric temporal logic","volume":"2","author":"Koymans","year":"1990","journal-title":"J. Real-Time Systems"},{"issue":"1-2","key":"10.1016\/0167-6423(93)90025-K_BIB23","doi-asserted-by":"crossref","DOI":"10.1305\/ndjfl\/1093956251","article-title":"Free logic and the concept of existence","volume":"8","author":"Lambert","year":"1967","journal-title":"Notre Dame J. Formal Logic"},{"issue":"6","key":"10.1016\/0167-6423(93)90025-K_BIB24","doi-asserted-by":"crossref","DOI":"10.1109\/TCOM.1976.1093347","article-title":"A methodology for the design and implementation of communication protocols","volume":"24","author":"Merlin","year":"1976","journal-title":"IEEE Trans. Commun."},{"key":"10.1016\/0167-6423(93)90025-K_BIB25","doi-asserted-by":"crossref","DOI":"10.1109\/EMWRT.1991.144087","article-title":"Embedding time granularity in logical specifications of real-time systems","author":"Montanari","year":"1991","journal-title":"Proceedings Third Euromicro Workshop on Real-Time Systems"},{"key":"10.1016\/0167-6423(93)90025-K_BIB26","series-title":"Research Rept. 07\/92\/RR","article-title":"Dealing with time granularity in logical specifications of real-time systems: the synchronous case","author":"Montanari","year":"1992"},{"key":"10.1016\/0167-6423(93)90025-K_BIB27","article-title":"Dealing with time granularity in the event calculus","author":"Montanari","year":"1992","journal-title":"Proceedings International Conference on Fifth Generation Computer Systems"},{"key":"10.1016\/0167-6423(93)90025-K_BIB28","series-title":"Ph.D. Dissertation","article-title":"The specification of real-time systems: proposal of a logical formalism","author":"Morzenti","year":"1989"},{"key":"10.1016\/0167-6423(93)90025-K_BIB29","series-title":"Proceedings ECOOP'91","article-title":"An object-oriented language for modular system specification","author":"Morzenti","year":"1991"},{"key":"10.1016\/0167-6423(93)90025-K_BIB30","series-title":"Advanced Software Development Series","article-title":"Temporal Logic for Real-Time Systems","author":"Ostroff","year":"1989"},{"key":"10.1016\/0167-6423(93)90025-K_BIB31","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0304-3975(81)90110-9","article-title":"The temporal semantics of concurrent programs","volume":"13","author":"Pnueli","year":"1981","journal-title":"Theoret. Comput. Sci."},{"issue":"5","key":"10.1016\/0167-6423(93)90025-K_BIB32","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1980.230492","article-title":"Performance evaluation of asynchronous concurrent systems using Petri nets","volume":"6","author":"Ramamoorthy","year":"1980","journal-title":"IEEE Trans. Softw. Engrg."},{"key":"10.1016\/0167-6423(93)90025-K_BIB33","article-title":"Topological logic","volume":"33","author":"Rescher","year":"1968","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0167-6423(93)90025-K_BIB34","series-title":"Library of Exact Philosophy","article-title":"Temporal Logic","author":"Rescher","year":"1971"},{"issue":"4","key":"10.1016\/0167-6423(93)90025-K_BIB35","doi-asserted-by":"crossref","DOI":"10.1109\/69.63249","article-title":"Formal specification of geographic data processing requirements","volume":"2","author":"Roman","year":"1990","journal-title":"IEEE Trans. Knowl. Data Engrg."},{"key":"10.1016\/0167-6423(93)90025-K_BIB36","series-title":"Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence","author":"Shoham","year":"1988"},{"key":"10.1016\/0167-6423(93)90025-K_BIB37","series-title":"First Order Logic","author":"Smullyan","year":"1968"},{"key":"10.1016\/0167-6423(93)90025-K_BIB38","series-title":"Software Engineering","author":"Sommerville","year":"1989"},{"key":"10.1016\/0167-6423(93)90025-K_BIB39","series-title":"Advanced Information Systems Engineering","article-title":"Dealing with granularity of time in temporal databases","author":"Wiederhold","year":"1991"},{"issue":"1-2","key":"10.1016\/0167-6423(93)90025-K_BIB40","doi-asserted-by":"crossref","DOI":"10.1016\/S0019-9958(83)80051-5","article-title":"Temporal logic can be more expressive","volume":"56","author":"Wolper","year":"1983","journal-title":"Inform. Control"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016764239390025K?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016764239390025K?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T13:34:39Z","timestamp":1580909679000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016764239390025K"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,4]]},"references-count":40,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1993,4]]}},"alternative-id":["016764239390025K"],"URL":"https:\/\/doi.org\/10.1016\/0167-6423(93)90025-k","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[1993,4]]}}}