{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:13:39Z","timestamp":1725624819095},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540123095"},{"type":"electronic","value":"9783642690280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/978-3-642-69028-0_14","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T05:11:37Z","timestamp":1319519497000},"page":"199-220","source":"Crossref","is-referenced-by-count":0,"title":["Construction of Distributed Systems from Cycle-Free Finite Automata"],"prefix":"10.1007","author":[{"given":"Rainer","family":"Prinoth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"Net Theory and Applications Proceedings of the Advanced Course on General Net Theory of Processes and Systems Lecture Notes in Computer Science","year":"1979","key":"14_CR1","unstructured":"Brauer, W . (ed.) Net Theory and Applications Proceedings of the Advanced Course on General Net Theory of Processes and Systems Lecture Notes in Computer Science, Springer, 1979."},{"key":"14_CR2","volume-title":"Ein Algorithmus zur formalen Verifikation des Dienstes von Kommunikationsprotokollen","author":"H Eckert","year":"1981","unstructured":"Eckert, H.; Prinoth, R. Ein Algorithmus zur formalen Verifikation des Dienstes von Kommunikationsprotokollen. Internal report, GMD-IFV, 1981."},{"key":"14_CR3","volume-title":"Automated Proofing of Communication Protocols against Communication Services Proceedings ICCC 82 North-Holland","author":"H Eckert","year":"1982","unstructured":"Eckert, H.; Prinoth, R. Automated Proofing of Communication Protocols against Communication Services Proceedings ICCC 82 North-Holland, 1982."},{"key":"14_CR4","volume-title":"Formal languages and their relations to automata","author":"JE Hopcroft","year":"1969","unstructured":"Hopcroft, J.E.; Ullmann, J.D. Formal languages and their relations to automata Addison-Wesley, 1969."},{"key":"14_CR5","volume-title":"Ein Programm zur Berechnung der Sprache, welche aus einer vorgegebenen regul\u00e4ren Sprache dadurch entsteht, da\u00df eine beliebige Teilmenge des Eingabealphabets durch das leere Wort ersetzt wird","author":"CE Paule","year":"1981","unstructured":"Paule, C. Epsilon, Ein Programm zur Berechnung der Sprache, welche aus einer vorgegebenen regul\u00e4ren Sprache dadurch entsteht, da\u00df eine beliebige Teilmenge des Eingabealphabets durch das leere Wort ersetzt wird. Internal report, GMD-IFV, 1981."},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-0000(76)80047-5","volume":"13","author":"JL Peterson","year":"1976","unstructured":"Peterson, J.L. Computation Sequence Sets Journal of Computer and System Sciences 13, 1\u201324, 1976.","journal-title":"Journal of Computer and System Sciences"},{"key":"14_CR7","volume-title":"Theoretical Computer Science","author":"R Prinoth","year":"1977","unstructured":"Prinoth, R . Eigenschaften f\u00e4rbbarer Petri-Netze in: Theoretical Computer Science, 3rd GI-Conference Lecture Notes in Computer Science, Springer 1977."},{"key":"14_CR8","volume-title":"Verteilungsalgorithmen f\u00fcr Zustandsmaschinen Internal report, GMD-IFV","author":"R Prinoth","year":"1981","unstructured":"Prinoth, R . Verteilungsalgorithmen f\u00fcr Zustandsmaschinen Internal report, GMD-IFV, 1981."},{"key":"14_CR9","first-page":"17","volume-title":"An Algorithm to construct Distributed Systems from State-Machines Proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification","author":"R Prinoth","year":"1982","unstructured":"Prinoth, R . An Algorithm to construct Distributed Systems from State-Machines Proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification, Testing and Verification; Idyllwild, California, 17\u201320 May, 1982 North-Holland, 1982."},{"key":"14_CR10","volume-title":"Ein Algorithmus zum Verteilen, Rekonfigurieren und Modularisieren von Systemen, die als kreisfreie endliche Automaten gegeben sind","author":"R Prinoth","year":"1982","unstructured":"Prinoth, R . Ein Algorithmus zum Verteilen, Rekonfigurieren und Modularisieren von Systemen, die als kreisfreie endliche Automaten gegeben sind. Internal report, GMD-IFV, 1982."}],"container-title":["Informatik-Fachberichte","Applications and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69028-0_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T17:42:08Z","timestamp":1606239728000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69028-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540123095","9783642690280"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69028-0_14","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}