{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:23:56Z","timestamp":1725567836973},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678984"},{"type":"electronic","value":"9783540446163"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-44616-3_2","type":"book-chapter","created":{"date-parts":[[2010,10,14]],"date-time":"2010-10-14T10:09:44Z","timestamp":1287050984000},"page":"22-36","source":"Crossref","is-referenced-by-count":3,"title":["From States to Histories"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Lamport, L.: Composing Specifications. Digital Systems Research Center, SRC Report 66 (October 1990)","DOI":"10.1007\/3-540-52559-9_59"},{"key":"2_CR2","unstructured":"Breitling, M., Philipps, J.: Black Box View of State Machines. TUM-19916, SFB-Bericht Nr. 34L\/07\/99A, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen (1999)"},{"key":"#cr-split#-2_CR3.1","unstructured":"Broy, M.: Compositional Refinement of Interactive Systems. In: DIGITAL Systems Research Center, SRC 89 (1992)"},{"key":"#cr-split#-2_CR3.2","doi-asserted-by":"crossref","unstructured":"Also in: Journal of the ACM 44(6), 850-891 (November 1997)","DOI":"10.1145\/268999.269004"},{"key":"2_CR4","unstructured":"Broy, M.: The Specification of System Components by State Transition Diagrams. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-I9729, Mai (1997 )"},{"volume-title":"Parallel Program Design: A Foundation","year":"1988","author":"K.M. Chandy","key":"2_CR5","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison Wesley, Reading (1988)"},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/978-3-7091-6355-9_16","volume-title":"Tool Support for System Specification, Development and Verification. Advances in Computing Science","author":"G. Rock","year":"1999","unstructured":"Rock, G., Stephan, W., Wolpers, A.: Modular Reasoning about Structured TLA Specifications. In: Berghammer, R., Lakhnech, Y. (eds.) Tool Support for System Specification, Development and Verification. Advances in Computing Science, pp. 217\u2013229. Springer, NewYork (1999)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"FME \u201994: Industrial Benefit of Formal Methods","author":"B.R. Paech","year":"1994","unstructured":"Paech, B.R.: A new Concept of Refinement used for Behaviour Modelling with Automata. In: Naftalin, M., Denvir, T., Bertran, M. (eds.) FME 1994. LNCS, vol.\u00a0873. Springer, Berlin (1994)"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-0-585-27524-6_16","volume-title":"Specification of Behavioral Semantics in Object-Oriented Information Modeling","author":"B. Rumpe","year":"1996","unstructured":"Rumpe, B., Klein, C.: Automata Describing Object Behavior. In: Kilov, H., Harvey, W. (eds.) Specification of Behavioral Semantics in Object-Oriented Information Modeling, pp. 265\u2013286. Kluwer Academic Publishers, Dordrecht (1996)"},{"key":"2_CR9","unstructured":"Scholz, P., Nazareth, D., Regensburger, F.: Mini-Statecharts: A Compositional Way to Model Parallel Systems. In: 9th International Conference on Parallel and Distributed Computing Systems, Dijon, France, September 25-27 (1996)"},{"key":"2_CR10","unstructured":"Bj\u00f6rner, N.S., Browne, A., Chang, E., Colon, M., Kapur, A., Manna, Z., Sipma, H.B., Uribe, T.E.: STeP: The Stanford Temporal Prover, User\u2019s Manual. Technical Report STAM-CS-TR-95-1562, Computer Science Department. Stanford University (November 1995)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-44616-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T15:38:51Z","timestamp":1674488331000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-44616-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678984","9783540446163"],"references-count":11,"URL":"http:\/\/dx.doi.org\/10.1007\/978-3-540-44616-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}
