{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:52Z","timestamp":1725664012227},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584681"},{"type":"electronic","value":"9783540489849"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58468-4_169","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:14:52Z","timestamp":1330254892000},"page":"247-267","source":"Crossref","is-referenced-by-count":8,"title":["Specification and refinement of finite dataflow networks \u2014 a relational approach"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]},{"given":"Ketil","family":"St\u00d8len","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"13_CR1","volume-title":"Tech. Report 29","author":"M. Abadi","year":"1988","unstructured":"Abadi, M., Lamport, L.: The Existence of Refinement Mappings. Tech. Report 29, Digital, Palo Alto, (1988)"},{"key":"13_CR2","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/3-540-10699-5_102","volume":"107","author":"J. D. Brock","year":"1981","unstructured":"Brock, J. D., Ackermann, W. B.: Scenarios: A Model of Non-determinate Computation. Proc. Formalization of Programming Concepts, LNCS 107, (1981) 252\u2013259","journal-title":"Proc. Formalization of Programming Concepts, LNCS"},{"key":"13_CR3","unstructured":"Broy, M.: Towards a Design Methodology for Distributed Systems. Proc. Constructive Methods in Computing Science, Springer, (1989) 311\u2013364"},{"key":"13_CR4","unstructured":"Broy, M.: Functional Specification of Time Sensitive Communicating Systems. Proc. Programming and Mathematical Method, Springer, (1992) 325\u2013367"},{"key":"13_CR5","unstructured":"Broy, M., Dederichs, F., Dendorfer, C., Fuchs, M., Gritzner, T. F., Weber, R.: The Design of Distributed Systems \u2014 An Introduction to Focus. Tech. Report SFB 342\/2\/92 A, TU M\u00fcnchen (1992)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Broy, M., St\u00d8len, K.: Specification and Refinement of Finite Dataflow Networks \u2014 a Relational Approach. Tech. Report SFB 342\/7\/94 A, TU M\u00fcnchen (1994)","DOI":"10.1007\/3-540-58468-4_169"},{"key":"13_CR7","unstructured":"Keller, R. M.: Denotational Models for Parallel Programs with Indeterminate Operators. Proc. Formal Description of Programming Concepts, North-Holland, (1978) 337\u2013366"},{"key":"13_CR8","unstructured":"Kleene, S. C.: Introduction to Metamathematics. (1952)"},{"key":"13_CR9","first-page":"133","volume-title":"Mathematical Centre Tracts 159","author":"D. Park","year":"1983","unstructured":"Park, D.: The \u201cFairness\u201d Problem and Nondeterministic Computing Networks. Proc. 4th Foundations of Computer Science, Mathematical Centre Tracts 159, Mathematisch Centrum Amsterdam, (1983) 133\u2013161"},{"key":"13_CR10","unstructured":"St\u00d8len, K., Dederichs, F., Weber, R.: Assumption\/Commitment Rules for Networks of Asynchronously Communicating Agents. Tech. Report SFB 342\/2\/93 A, TU M\u00fcnchen (1993)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58468-4_169.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:21:45Z","timestamp":1605630105000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58468-4_169"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584681","9783540489849"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-58468-4_169","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}