{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T14:47:51Z","timestamp":1648910871678},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1995,9,1]],"date-time":"1995-09-01T00:00:00Z","timestamp":809913600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[1995,9]]},"DOI":"10.1007\/bf02253614","type":"journal-article","created":{"date-parts":[[2005,11,15]],"date-time":"2005-11-15T11:39:39Z","timestamp":1132054779000},"page":"227-240","source":"Crossref","is-referenced-by-count":1,"title":["Time and logic: A calculus of binary events"],"prefix":"10.1007","volume":"54","author":[{"given":"H.","family":"von Issendorff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02253614_CR1","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alper","year":"1985","unstructured":"Alper, B., Schneider, F. B.: Defining liveness. Inform. Process. Lett.21, 181\u2013185 (1985).","journal-title":"Inform. Process. Lett."},{"key":"BF02253614_CR2","series-title":"Lecture Notes in Computer Science","first-page":"123","volume-title":"Linear time, branching time and partial order in logics and models of concurrency","author":"E. A. Emerson","year":"1988","unstructured":"Emerson, E. A., Srinivasan, J.: Branching time temporal logic. In: Linear time, branching time and partial order in logics and models of concurrency, (de Bakker, J. W., de Roever, W.-P. Rozenberg, G., eds.), pp. 123\u2013172. Berlin, Heidelberg, New York, Tokyo: Springer 1988 (Lecture Notes in Computer Science, vol. 354)."},{"key":"BF02253614_CR3","first-page":"332","volume-title":"Introduction to metamathematics","author":"S. C. Kleene","year":"1952","unstructured":"Kleene, S. C.: Introduction to metamathematics, pp. 332\u2013340. Amsterdam: North-Holland 1952."},{"key":"BF02253614_CR4","doi-asserted-by":"crossref","first-page":"691","DOI":"10.2307\/2024634","volume":"72","author":"S. Kripke","year":"1975","unstructured":"Kripke, S.: Outline of a theory of truth. J. Philosophy72, 691\u2013716 (1975).","journal-title":"J. Philosophy"},{"key":"BF02253614_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems: specification","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems: specification. Berlin, Heidelberg, New York, Tokyo: Springer 1992."},{"key":"BF02253614_CR6","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1145\/69624.357207","volume":"5","author":"L. Lamport","year":"1983","unstructured":"Lamport, L.: Specifying concurrent program modules. ACM Trans. Prog. Lang. Syst.5, 190\u2013222 (1983).","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"BF02253614_CR7","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1145\/2993.357247","volume":"6","author":"L. Lamport","year":"1984","unstructured":"Lamport, L. Schneider, F. B.: The \u2018Hoare logic\u2019 of CSP, and all that. ACM Trans. Prog. Lang. Syst.6, 281\u2013296 (1984).","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"BF02253614_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-7664-1","volume-title":"Temporal logic","author":"N. Rescher","year":"1971","unstructured":"Rescher, N., Urquhart, A.: Temporal logic. Berlin, Heidelberg, New York: Springer 1971."},{"key":"BF02253614_CR9","first-page":"242","volume-title":"Introduction to VLSI Systems","author":"C. L. Seitz","year":"1980","unstructured":"Seitz, C. L.: System timing. In: Introduction to VLSI Systems (Mead, C. A., Conway, L. A. eds.), pp. 242\u2013262. Reading: Addison-Wesley 1980."},{"key":"BF02253614_CR10","series-title":"Lecture Notes in Computer Science","first-page":"325","volume-title":"Petri nets: Applications and relationships to other models of concurrency","author":"G. Winskel","year":"1986","unstructured":"Winskel, G.: Event structures. In Petri nets: Applications and relationships to other models of concurrency, (Brauer, W., Reisig, W., Rozenberg, G. eds.), pp. 325\u2013392. Berlin, Heidelberg, New York, Tokyo: Springer 1986 (Lecture Notes in Computer Science, vol. 255)."}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02253614.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02253614\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02253614","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T10:52:27Z","timestamp":1558003947000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02253614"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,9]]},"references-count":10,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,9]]}},"alternative-id":["BF02253614"],"URL":"https:\/\/doi.org\/10.1007\/bf02253614","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,9]]}}}