{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:23Z","timestamp":1725662843590},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540087557"},{"type":"electronic","value":"9783540358800"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08755-9_12","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:32:41Z","timestamp":1330187561000},"page":"547-582","source":"Crossref","is-referenced-by-count":0,"title":["On system specification"],"prefix":"10.1007","author":[{"given":"H. R.","family":"Wiehle","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"J.V. Guttag, E. Horwitz, D.R. Musser: The design of data type specifications. Proceedings 2nd International Conference on Software Engineering, IEEE, 414\u2013420 (1976)","DOI":"10.21236\/ADA034827"},{"key":"12_CR2","volume-title":"Decision problems for Petri-Nets and vector addition systems. MAC-TM 59, Project MAC","author":"M. Hack","year":"1975","unstructured":"M. Hack: Decision problems for Petri-Nets and vector addition systems. MAC-TM 59, Project MAC, M.I.T., Cambridge, Mass., 1975"},{"key":"12_CR3","volume-title":"Petri Net languages. MAC-TR 159, Project MAC","author":"M. Hack","year":"1976","unstructured":"M. Hack: Petri Net languages. MAC-TR 159, Project MAC, M.I.T., Cambridge, Mass., 1976"},{"issue":"1","key":"12_CR4","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/356612.356614","volume":"5","author":"J. J. Horning","year":"1973","unstructured":"J.J. Horning, B. Randell: Process Structuring. Computing Surveys 5, 1, 5\u201330 (1973)","journal-title":"Computing Surveys"},{"key":"12_CR5","unstructured":"C.B. Jones: Program Specifications and Formal Development. Proceedings International Computing Symposium 1977, 537\u2013553. North Holland Publishing Company 1977"},{"key":"12_CR6","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF00264564","volume":"5","author":"P. E. Lauer","year":"1975","unstructured":"P.E. Lauer, R.H. Campbell: Formal semantics of a class of high-level primitives for coordinating concurrent processes. Acta Informatica 5, 297\u2013332 (1975)","journal-title":"Acta Informatica"},{"issue":"6","key":"12_CR7","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1145\/390016.808426","volume":"10","author":"B. Liskov","year":"1975","unstructured":"B. Liskov, S. Zilles: Specification techniques for data abstractions. Proceedings of ACM SIGPLAN Conference on Reliable Software. SIGPLAN Notices Vol. 10, 6, 72\u201387 (1975)","journal-title":"SIGPLAN Notices"},{"issue":"5","key":"12_CR8","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1145\/355602.361309","volume":"15","author":"D. L. Parnas","year":"1972","unstructured":"D.L. Parnas: A technique for software module specification with examples. Comm. ACM Vol. 15, 5, 330\u2013336 (1972)","journal-title":"Comm. ACM"},{"key":"12_CR9","unstructured":"H. Plickert: Ein Ansatz zur formalisierten Behandlung der Semantik von Speichern mittels eines Maschinenmodells. Doctoral Dissertation, Faculty of Mathematics, Technical University Munich, 1977"},{"key":"12_CR10","unstructured":"H.R. Wiehle: Looking at software as hardware? Lecture Notes prepared for the International Summer School on Structured Programming and Programmed Structures, Munich 1973"}],"container-title":["Lecture Notes in Computer Science","Operating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08755-9_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:53:28Z","timestamp":1619556808000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08755-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540087557","9783540358800"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-08755-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]}}}