{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:46:57Z","timestamp":1725626817663},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540106173"},{"type":"electronic","value":"9783642679773"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/978-3-642-67977-3_9","type":"book-chapter","created":{"date-parts":[[2011,10,28]],"date-time":"2011-10-28T05:28:55Z","timestamp":1319779735000},"page":"107-118","source":"Crossref","is-referenced-by-count":3,"title":["Spezifikation der Synchronisierung Paralleler Rechenprozesse in EPOS"],"prefix":"10.1007","author":[{"given":"P.","family":"von G\u00f6hner","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Biewald, J., G\u00f6hner, P., Lauber, R. und Schelling, H.: EPOS - a specification and design technique for computer controlled systems. Proc. 4th ICSE Munich 1979, pp. 245\u2013250."},{"key":"9_CR2","first-page":"11","volume":"28","author":"J Biewald","year":"1980","unstructured":"Biewald, J., G\u00f6hner, P., Lauber, R. und Schelling, H.: Das Softwarewerkzeug EPOS zur Unterst\u00fctzung der Ingenieurt\u00e4tigkeiten beim Entwurf und bei der Wartung von Proze\u00dfautomatisierungssystemen. Regelungstechnik 28 (1980) S. 11\u201315.","journal-title":"Regelungstechnik"},{"key":"9_CR3","unstructured":"G\u00f6hner, P.: EPOS - Aladins Wunderlampe f\u00fcr Automatisierungsingenieure. Int. Kongre\u00df f\u00fcr Datenverarbeitung IKD \u203280, Berlin 7.-10. Okt. 1980, S. 331\u2013338."},{"key":"9_CR4","volume-title":"Real-Time Features of EPOS: Formulation, Evaluation and Documentation. IFAC\/IFIP Workshop on Real-Time-Programming, Leibnitz\/AUSTRIA, April 14\u201316","author":"J Bieweld","year":"1980","unstructured":"Biewald, J., G\u00f6hner, P. and Schelling, H.: Real-Time Features of EPOS: Formulation, Evaluation and Documentation. IFAC\/IFIP Workshop on Real-Time-Programming, Leibnitz\/AUSTRIA, April 14\u201316 (1980)."},{"key":"9_CR5","unstructured":"G\u00f6hner, P.: M\u00f6glichkeiten f\u00fcr die formale Spezifikation der Synchronisierung und Kommunikation paralleler Prozesse in G. Hommel (Editor): Verfahren und Hilfsmittel f\u00fcr Spezifikation und Entwurf von Proze\u00dfautomatisierungssystemen, KFK-PDV 154, 3uni 1978, S. 288\u2013299."},{"key":"9_CR6","unstructured":"G\u00f6hner, P.: Ingenieurgerechte Spezifikation der Synchronisierung paralleler Rechenprozesse. Noch nicht ver\u00f6ffentlichte Dissertation, Universit\u00e4t Stuttgart, Institut f\u00fcr Regelungstechnik und Proze\u00dfautomatisierung."},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"JL Peterso","year":"1977","unstructured":"Peterson, 3.L.: Petri Nets Computing Surveys, Vol. 9, No. 3, September 1977, S. 223\u2013252","journal-title":"Petri Nets Computing Surveys"},{"key":"9_CR8","volume-title":"Eine einf\u00fchrende Zusammenfassung der Petri-Netz-Theorie Bericht Nr. 77\/12 Rote Reihe, Technische Universit\u00e4t Berlin","author":"G Scheschonk","year":"1977","unstructured":"Scheschonk, G.: Eine einf\u00fchrende Zusammenfassung der Petri-Netz-Theorie Bericht Nr. 77\/12 Rote Reihe, Technische Universit\u00e4t Berlin, 1977"},{"key":"9_CR9","first-page":"66","volume-title":"Static analysis of concurrent processes for dynamic properties using petri nets Lecture Notes in Computer Science 70 Semantics of Concurrent Compulation","author":"O Herzog","year":"1979","unstructured":"Herzog, O.: Static analysis of concurrent processes for dynamic properties using petri nets Lecture Notes in Computer Science 70 \u201cSemantics of Concurrent Computation\u201d 1979, S. 66\u201390"},{"issue":"1","key":"9_CR10","first-page":"237","volume":"5","author":"PE Lauer","year":"1975","unstructured":"Lauer, P.E., Campbell, R.H.: Formal semantics of a class of high-level primitives for coordinating concurrent processes Acta Informatica, Vol. 5, Fasc. 1, 1975, S. 237\u2013332","journal-title":"Acta Informatica"}],"container-title":["Informatik-Fachberichte","Fachtagung Proze\u00dfrechner 1981"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-67977-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,26]],"date-time":"2019-01-26T12:29:24Z","timestamp":1548505764000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-67977-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540106173","9783642679773"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67977-3_9","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1981]]}}}