{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:10:14Z","timestamp":1742591414669,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540179436"},{"type":"electronic","value":"9783540471448"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17943-7_123","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:20:19Z","timestamp":1330197619000},"page":"103-120","source":"Crossref","is-referenced-by-count":2,"title":["An axiomatic approach to the specification of distributed computer architectures"],"prefix":"10.1007","author":[{"given":"W.","family":"Damm","sequence":"first","affiliation":[]},{"given":"G.","family":"Doehmen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"unstructured":"Annot, J.K., and van Twist, R. Description of the communication processor of DOOM, Proceedings Conference on on Parallel Architectures and Languages Europe, Lecture Notes in Computer Science, Springer-Verlag, June 1987","key":"7_CR1"},{"unstructured":"Barbacci, M.R., Structural and behavioural descriptions of digital systems, New Computer Architectures (eds. J. Tiberghien), International Lecture Series in Computer Science, 1984, pp. 140\u2013223","key":"7_CR2"},{"key":"7_CR3","volume-title":"Proceedings of the CWI Symposium Mathematics and Computer Science","author":"J.A. Bergstra","year":"1986","unstructured":"Bergstra, J.A., and Klop, J.W., Algebra of Communicating Processes, Proceedings of the CWI Symposium Mathematics and Computer Science (eds. J.W. de Bakker, M. Hazewinkel and J.K. Lenstra), North-Holland, Amsterdam 1986"},{"doi-asserted-by":"crossref","unstructured":"Berthelot, G., and Terrat, R., Petri Nets Theory for the Correctness of Protocols, Proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification, Testing, and Verification (eds. C. Sunshine), North-Holland, 1982","key":"7_CR4","DOI":"10.1109\/TCOM.1982.1095452"},{"unstructured":"Cardeill, L, ML under UNIX, Polymorphism Newsletter Vol. 1, No. 3, 1983","key":"7_CR5"},{"issue":"2","key":"7_CR6","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., and Sistla, A.P., Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications, ACM Transactions on Programming Languages and Systems, Vol. 8, No. 2, April 1986, pp. 244\u2013263","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR7","volume-title":"The Design and Description of Computer Architectures","author":"S. Dasgupta","year":"1984","unstructured":"Dasgupta, S., The Design and Description of Computer Architectures, John Wiley & Sons, New York, 1984"},{"key":"7_CR8","first-page":"91","volume-title":"Computer Design and Description Languages, Advances in Computers, Vol. 21","author":"S. Dasgupta","year":"1982","unstructured":"Dasgupta, S. Computer Design and Description Languages, Advances in Computers, Vol. 21, Academic Press, New York, 1982, pp. 91\u2013154"},{"unstructured":"Dasgupta, S., and Heinanen, J., On the Axiomatic Specification of Computer Architectures, Proc. CHDL '85, North-Holland, 1985","key":"7_CR9"},{"unstructured":"Damm, W., Automatic Generation by Simulation Tools: A Case Study in the Design of a Retargetable Firmware Development System, in: Advances in Microprocessing and Microprogramming, edts. B. Myhrhaug and D.R. Wilson, EUROMICRO, Elsevier Science Publishers B.V., North-Holland, 1984, pp. 165\u2013176","key":"7_CR10"},{"issue":"4","key":"7_CR11","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1109\/MS.1986.233752","volume":"3","author":"W. Damm","year":"1986","unstructured":"Damm, W., D\u00f6hmen, G., Merkel, K., and Sichelschmidt, M., The AADL\/S*-Approach to Firmware Design Verification, IEEE Software Magazine, Vol. 3, No. 4, 1986, pp. 27\u201337","journal-title":"IEEE Software Magazine"},{"doi-asserted-by":"crossref","unstructured":"Hudak, P., and Smith, L., Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems, Proc. 13th POPL, 1986","key":"7_CR12","DOI":"10.1145\/512644.512667"},{"unstructured":"Klaeren, H., An Introduction Into Algebraic Specifications, Springer-Verlag, 1986","key":"7_CR13"},{"key":"7_CR14","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. Program. Lang. Systems, Vol. 5, 1983, pp. 190\u2013222","journal-title":"ACM Trans. Program. Lang. Systems"},{"doi-asserted-by":"crossref","unstructured":"Lamport, L., \"Sometime\" Is sometimes \"not never\", Proc. POPL '80, pp. 174\u2013185.","key":"7_CR15","DOI":"10.1145\/567446.567463"},{"unstructured":"Loogen, R., PAM \u2014 A parallel abstract reduction machine for the Implementation of serial combinator systems, technical report, RWTH Aachen, 1987","key":"7_CR16"},{"doi-asserted-by":"crossref","unstructured":"Manna, Z., and Pnuell, A., Temporal Verification of Concurrent Programs: The Temporal Framework, The Correctness Problem In Computer Science (eds. R.S. Boyer, J. Strother Moore), International Lecture Series in Computer Science, 1981, pp. 215\u2013273","key":"7_CR17","DOI":"10.21236\/ADA106750"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R., A Calculus of Communicating Systems, Lecture Notes in Computer Science 92, Springer-Verlag, Berlin, 1980"},{"unstructured":"Odijk, E.A.M., The Philips Object-Oriented Parallel Computer, In: Fifth Generation Computer Architectures, edt. J.V. Woods, North-Holland, 1985","key":"7_CR19"},{"unstructured":"Odijk, E.A.M., van Twist, R., Janssens, M., and Bronnenberg, W., The Architecture of DOOM, Proc. of the ESPRIT Summer School on Future Parallel Computers, Lecture Notes in Computer Science, Springer-Verlag, 1987","key":"7_CR20"},{"doi-asserted-by":"crossref","unstructured":"Olderog, E.-R., Specification-oriented programming in TCSP, in: Logics and Models of Concurrent Systems (eds. K.R. Apt), NATO ASI Series, Series F: Computer and System Sciences. Vol. 13, Springer-Verlag, 1985","key":"7_CR21","DOI":"10.1007\/978-3-642-82453-1_14"},{"doi-asserted-by":"crossref","unstructured":"Pinter, S.S., and Wolper, P., A Temporal Logic for Reasoning about Partially Ordered Computations, Proceedings of the Third Annual Symposium on Principles of Distributed Computing, 1984","key":"7_CR22","DOI":"10.1145\/800222.806733"},{"key":"7_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96705-4","volume-title":"Petrinetze","author":"W. Reisig","year":"1982","unstructured":"Reisig, W., Petrinetze, Springer-Verlag, Berlin, 1982"},{"unstructured":"Warren, D.H.D., An Abstract Prolog Instruction Set, SRI Technical Report, SRI International, Monto Park, CA, 1983","key":"7_CR24"},{"key":"7_CR25","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R. Communicating Sequential Processes, Communications ACM, Vol. 21, 1978, pp. 666\u2013677","journal-title":"Communications ACM"}],"container-title":["Lecture Notes in Computer Science","PARLE Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17943-7_123.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:35:14Z","timestamp":1742589314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17943-7_123"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540179436","9783540471448"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-17943-7_123","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}