{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:57Z","timestamp":1725664677210},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540613770"},{"type":"electronic","value":"9783540685074"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61377-3_43","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:35:45Z","timestamp":1330292145000},"page":"266-290","source":"Crossref","is-referenced-by-count":15,"title":["The railroad crossing problem: An experiment with instantaneous actions and immediate reactions"],"prefix":"10.1007","author":[{"given":"Yuri","family":"Gurevich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James K.","family":"Huggins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"16_CR1","unstructured":"Egon B\u00f6rger, Annotated Bibliography on Evolving Algebras, in \u201cSpecification and Validation Methods\u201d, ed. E. B\u00f6rger, Oxford University Press, 1995, 37\u201351."},{"key":"16_CR2","unstructured":"Egon B\u00f6rger, Yuri Gurevich and Dean Rosenzweig: The Bakery Algorithm: Yet Another Specification and Verification, in \u201cSpecification and Validation Methods\u201d, ed. E. B\u00f6rger, Oxford University Press, 1995."},{"key":"16_CR3","unstructured":"Yuri Gurevich, \u201cEvolving Algebra 1993: Lipari Guide\u201d, in \u201cSpecification and Validation Methods\u201d, Ed. E. B\u00f6rger, Oxford University Press, 1995, 9\u201336."},{"key":"16_CR4","volume-title":"LITP 95\/63","author":"Y. Gurevich","year":"1996","unstructured":"Yuri Gurevich and James K. Huggins, \u201cThe Railroad Crossing Problem: An Evolving Algebra Solution,\u201d LITP 95\/63, Janvier 1996, Centre National de la Recherche Scientifique Paris, France."},{"key":"16_CR5","unstructured":"Yuri Gurevich, James K. Huggins, and Raghu Mani, \u201cThe Generalized Railroad Crossing Problem: An Evolving Algebra Based Solution,\u201d University of Michigan EECS Department Technical Report CSE-TR-230-95."},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Constance Heitmeyer and Nancy Lynch: The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems, Proc., Real-Time Systems Symp., San Juan, Puerto Rico, Dec., 1994, IEEE.","DOI":"10.1109\/REAL.1994.342724"},{"key":"16_CR7","unstructured":"Ernst-R\u00fcdiger Olderog, Anders P. Ravn and Jens Ulrik Skakkebaek, \u201cRefining System Requirements to Program Specifications\u201d, to appear."},{"key":"16_CR8","unstructured":"Robin Milner. A private discussion, Aug. 1994."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61377-3_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:31:44Z","timestamp":1619573504000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61377-3_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613770","9783540685074"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-61377-3_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}