{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:55:26Z","timestamp":1725623726397},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540104421"},{"type":"electronic","value":"9783642678813"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/978-3-642-67881-3_6","type":"book-chapter","created":{"date-parts":[[2011,10,21]],"date-time":"2011-10-21T15:19:36Z","timestamp":1319210376000},"page":"197-236","source":"Crossref","is-referenced-by-count":3,"title":["An Approach to the Specification of Distributed Software"],"prefix":"10.1007","author":[{"given":"W. R.","family":"Franta","sequence":"first","affiliation":[]},{"given":"W. E.","family":"Boebert","sequence":"additional","affiliation":[]},{"given":"H. K.","family":"Berg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","first-page":"595","volume-title":"Kernel Primitives of the HXDP Executive","author":"WE Boebert","year":"1978","unstructured":"Boebert, W. E.; Franta, W. R.; Jensen, E. D.; and Kain, R. Y., \u201cKernel Primitives of the HXDP Executive\u201d, Proc. COMPASC, 1978, pp. 595\u2013600."},{"key":"6_CR2","series-title":"Computation Structures Group Memo","volume-title":"Semantics of Distributed Computing","author":"DG Clark","year":"1978","unstructured":"Clark, D. G.; Greif, I.; Liskov, B.; and Svobodova, L., \u201cSemantics of Distributed Computing\u201d, Computation Structures Group Memo 171, Massachusetts Institute of Technology, Laboratory for Computer Science, October, 1978."},{"key":"6_CR3","unstructured":"Chlamtac, I.; Franta, W. R.; Patton, P. C.; and Wells, B., \u201cPerformance Issues in Local Networks\u201d, to appear in IEEE Computer, special issue on local networks."},{"issue":"5","key":"6_CR4","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1109\/MC.1979.1658742","volume":"12","author":"GA Champine","year":"1979","unstructured":"Champine, G. A., Current trends in database systems\u201d, Computer, Vol. 12, No. 5, May, 1979, pp. 27\u201341.","journal-title":"Computer"},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"921","DOI":"10.1145\/359897.359903","volume":"20","author":"D Gries","year":"1977","unstructured":"Gries, David, \u201cAn Exercise in Proving Parallel Programs Correct\u201d, CACM, 20, 12, December, 1977, pp. 921\u2013930.","journal-title":"CACM"},{"key":"6_CR6","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1145\/361454.361473","volume":"15","author":"HP Brinch","year":"1972","unstructured":"Brinch Hanson, P., \u201cStructured Multiprogramming\u201d, CACM, 15, 7, July, 1972, pp. 574\u2013578.","journal-title":"CACM"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C. A. R., \u201cCommunicating Sequential Processes\u201d, Comm. ACM, 21, 8, August, 1978, pp. 666\u2013677.","journal-title":"Comm. ACM"},{"key":"6_CR8","first-page":"934","volume":"12","author":"HP Brinch","year":"1978","unstructured":"Brinch Hansen, P., \u201cDistributed Processes: A Concurrent Programming Concept\u201d, Comm. ACM, 12, 11, November, 1978, pp. 934\u2013941.","journal-title":"Comm. ACM"},{"key":"6_CR9","first-page":"3","volume-title":"Protocol Machines: A Concise Formal Model and its Automatic Implementation","author":"MG Gouda","year":"1976","unstructured":"Gouda, M. G.; and Manning, E. G., \u201cProtocol Machines: A Concise Formal Model and its Automatic Implementation\u201d, International Conference on Computer Communication \u201876, Toronto, August 3\u20136, 1976."},{"key":"6_CR10","volume-title":"Programming-in-the-large versus Programming-in-the-small","author":"F DeRemer","year":"1975","unstructured":"DeRemer, F.; and Kron, H., \u201cProgramming-in-the-large versus Programming-in-the-small\u201d, Proc. International Conference on Reliable Software, 1975."},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1145\/355602.361309","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas, D. L., \u201cA technique for software module specification with examples\u201d, Comm. ACM, 15, 5, May, 1972, pp. 330\u2013336.","journal-title":"Comm. ACM"},{"key":"6_CR12","volume-title":"SPECIAL Reference Manual","author":"O Roubine","year":"1977","unstructured":"Roubine, O.; and Robinson, L., \u201cSPECIAL Reference Manual\u201d, Tech. Rep. CSL-46, SRI Project 4828, SRI Int., Menlo, Park, Calif., 3rd ed., Jan. 1977.","edition":"3"},{"key":"6_CR13","first-page":"379","volume-title":"An Approach to the Design of Distributed Computer Control Software Using a Processor Module Concept","author":"RJ Cunningham","year":"1977","unstructured":"Cunningham, R. J.; and Kramer, J., \u201cAn Approach to the Design of Distributed Computer Control Software Using a Processor Module Concept\u201d, Proc. IEE Int. Conference on Distributed Computer Control Systems, 1977, pp. 379\u2013385."},{"key":"6_CR14","volume-title":"Thesis Proposal","author":"S Andler","year":"1978","unstructured":"Andler, Sten, \u201cPredicate Path Expressions\u201d, Thesis Proposal, Dept. Computer Science, Carnegie-Mellon University, July, 1978."},{"key":"6_CR15","volume-title":"The Process View of Simulation","author":"WR Franta","year":"1977","unstructured":"Franta, W. R., \u201cThe Process View of Simulation\u201d, Elsevier, North-Holland, 1977."},{"key":"6_CR16","volume-title":"NPN: A Finite State Specification Technique for Distributed Systems","author":"EW Boebert","year":"1979","unstructured":"Boebert, E. W.; Franta, W. R.; and Berg, H. K., \u201cNPN: A Finite State Specification Technique for Distributed Systems\u201d, Proc. Specification of Reliable Software, April, 1979."},{"key":"6_CR17","unstructured":"Liskov, B. and Berzins, V., \u201cAn Appraisal of Program Specifications\u201d, Research Direction in Software Technology (P. Wegner, ed.), to be published by MIT Press."},{"key":"6_CR18","volume-title":"PhD Thesis","author":"RH Campbell","year":"1976","unstructured":"Campbell, R. H., \u201cPath Expressions: A New Technique for Specifying Process Synchronization\u201d, PhD Thesis, University of Newcastle-upon-Tyne, 1976."},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BFb0029355","volume-title":"The Specification of Process Synchronization by Path Expressions","author":"RH Campbell","year":"1974","unstructured":"Campbell, R. H.; and Habermann, A. N., \u201cThe Specification of Process Synchronization by Path Expressions\u201d, Lecture Notes in Computer Science. Vol. 16, Springer-Verlag, 1974, pp. 89\u2013102."},{"key":"6_CR20","first-page":"29","volume-title":"Path Expressions for Real-Time Programming","author":"RH Campbell","year":"1978","unstructured":"Campbell, R. H., \u201cPath Expressions for Real-Time Programming\u201d, Proc. Workshop on Tally for Embedded Computing Systems Software, NASA Conference Publication 2064, November 7\u20138, 1978, pp. 29\u201330."},{"key":"6_CR21","series-title":"Final Report SRI Project","volume-title":"A Provably secure Operating System: The System, its Applications, and Proofs","author":"PG Neumann","year":"1977","unstructured":"Neumann, P. G., et. al., \u201cA Provably secure Operating System: The System, its Applications, and Proofs\u201d, Final Report SRI Project 4332, SRI Int., Menlo Park, Calif., Feb. 1977."}],"container-title":["Informatik-Fachberichte","The Use of Formal Specification of Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-67881-3_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:13:11Z","timestamp":1606255991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-67881-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540104421","9783642678813"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67881-3_6","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1980]]}}}