{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:16Z","timestamp":1725663796783},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539124"},{"type":"electronic","value":"9783540463511"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53912-3_22","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:17:37Z","timestamp":1330208257000},"page":"143-166","source":"Crossref","is-referenced-by-count":1,"title":["Where can I get gas round here? \u2014 an application of a design methodology for distributed systems"],"prefix":"10.1007","author":[{"given":"Rainer","family":"Weber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69014-3","volume-title":"Rechnerarchitektur II","author":"A. Bode","year":"1983","unstructured":"A. Bode, W. H\u00e4ndler: Rechnerarchitektur II. Berlin-Heidelberg-New York-Tokyo, Springer, 1983"},{"key":"7_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":"J.D. Brock, W.B. Ackerman: Scenarios: A Model of Non-deterministic Computation. In: J. Diay, I. Ramos (Eds.): Foundations of Programming Concepts, Intern. Coll. Peniscola, Spain, 1981, Springer Lecture Notes in Computer Science 107, pp. 252\u2013259","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"7_CR3","unstructured":"M. Broy, T. Streicher: Specification and Design of Shared Resource Arbitration. MIP-8721, Universit\u00e4t Passau, 1987"},{"key":"7_CR4","unstructured":"M. Broy: An Example for the Design of Distributed Systems in a Formal Setting: The Lift Problem, MIP-8802, Universit\u00e4t Passau, 1988"},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/978-3-642-74884-4","volume-title":"Constructive Methods in Computing Science","author":"M. Broy","year":"1989","unstructured":"M. Broy: Towards a Design Methodology for Distributed Systems. In: M. Broy (Ed.): Constructive Methods in Computing Science. Berlin-Heidelberg-New York-Tokyo, Springer, 1989, pp. 331\u2013364"},{"key":"7_CR6","unstructured":"E. Dubois, J. Hagelstein, A. Rifaut: Formal Requirements Engineering with ERAE. draft version, to appear in the Philips Journal of Research, October 1988"},{"issue":"4","key":"7_CR7","doi-asserted-by":"crossref","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"C.B. Jones","year":"1983","unstructured":"C.B. Jones: Tentative Steps Toward a Development Method for Interfering Programs. ACM Transactions on Programming Languages and Systems, Vol. 5., No. 4, October 1983, pp. 596\u2013619","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR8","unstructured":"G. Kahn: The Semantics of a Simple Language for Parallel Programming. Information Processing 74, North-Holland Publishing Company, 1974"},{"issue":"6","key":"7_CR9","first-page":"559","volume":"6","author":"F. Kr\u00f6ger","year":"1987","unstructured":"F. Kr\u00f6ger: Abstract modules: Combining algebraic and temporal logic specification means. Technique Et Science Informatique, Vol. 6, No. 6, 1987, pp. 559\u2013573","journal-title":"Technique Et Science Informatique"},{"issue":"1","key":"7_CR10","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/63238.63240","volume":"32","author":"L. Lamport","year":"1989","unstructured":"L. Lamport: A Simple Approach to Specifying Concurrent Systems. CACM, Vol. 32, No. 1, January 1989, pp. 32\u201345","journal-title":"CACM"},{"key":"7_CR11","unstructured":"J. Loeckx, K. Sieber: The Foundations of Program Verification. Wiley-Teubner, 1984"},{"key":"7_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00264293","volume":"20","author":"M. Wirsing","year":"1983","unstructured":"M. Wirsing, P. Pepper, H. Partsch, W. Dosch, M. Broy: On Hierarchies of Abstract Data Types. Acta Informatica 20, 1983, pp. 1\u201333","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methods II: Theory, Tools and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53912-3_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:16:41Z","timestamp":1619572601000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53912-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539124","9783540463511"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-53912-3_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}