{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:29Z","timestamp":1725664169415},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540590422"},{"type":"electronic","value":"9783540491750"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59042-0_97","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:59:09Z","timestamp":1330257549000},"page":"467-478","source":"Crossref","is-referenced-by-count":5,"title":["Dependence orders for computations of concurrent automata"],"prefix":"10.1007","author":[{"given":"Felipe","family":"Bracho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manfred","family":"Droste","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dietrich","family":"Kuske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"41_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(88)90051-5","volume":"60","author":"I.J. Aalbersberg","year":"1988","unstructured":"Aalbersberg, I.J. and G. Rozenberg: Theory of traces. Theor. Comp. Science 60 (1988), 1\u201382.","journal-title":"Theor. Comp. Science"},{"key":"41_CR2","unstructured":"Bednarczyk, M.: Categories of asynchronous systems. Ph.D. thesis, University of Sussex, 1987."},{"key":"41_CR3","doi-asserted-by":"crossref","first-page":"433","DOI":"10.3233\/FI-1988-11406","volume":"11","author":"G. Boudol","year":"1988","unstructured":"Boudol, G. and I. Castellani: A non-interleaving semantics for CCS based on proved transitions. Fundam. Inform. 11 (1988), 433\u2013452.","journal-title":"Fundam. Inform."},{"key":"41_CR4","unstructured":"B\u00f6rger, E. and D. Rosenzweig: Occam: Specification and compiler correctness. Part I: Simple mathematical interpreters. To appear."},{"key":"41_CR5","doi-asserted-by":"crossref","unstructured":"Bracho, F. and M. Droste: From domains to automata with concurrency. In: 20th ICALP, LNCS 700, Springer, 1993, pp. 669\u2013681.","DOI":"10.1007\/3-540-56939-1_111"},{"key":"41_CR6","doi-asserted-by":"crossref","unstructured":"Bracho, F. and M. Droste: Labelled domains and automata with concurrency. Theor. Comp. Science, in press.","DOI":"10.1016\/0304-3975(94)00030-1"},{"key":"41_CR7","doi-asserted-by":"crossref","unstructured":"Bracho, F., M. Droste and D. Kuske: Representation of computations in concurrent automata by dependence orders. Internal report of TU Dresden, MATH-AL-3-1994.","DOI":"10.1007\/3-540-59042-0_97"},{"key":"41_CR8","volume-title":"Lattice Theory","author":"G. Birkhoff","year":"1973","unstructured":"Birkhoff, G.: Lattice Theory. AMS, Providence, 1973."},{"key":"41_CR9","doi-asserted-by":"crossref","unstructured":"Diekert, V.: Combinatorics on Traces. LNCS 454, Springer, 1990.","DOI":"10.1007\/3-540-53031-2"},{"key":"41_CR10","doi-asserted-by":"crossref","unstructured":"Droste, M.: Concurrency, automata and domains. In: 17th ICALP, LNCS 443, Springer, 1990, pp. 195\u2013208.","DOI":"10.1007\/BFb0032032"},{"key":"41_CR11","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1142\/S0129054192000218","volume":"3","author":"M. Droste","year":"1992","unstructured":"Droste, M.: Concurrent automata and domains. Intern. J. of Found. of Comp. Science 3 (1992), 389\u2013418.","journal-title":"Intern. J. of Found. of Comp. Science"},{"key":"41_CR12","doi-asserted-by":"crossref","unstructured":"Droste, M.: A Kleene theorem for recognizable languages over concurrency monoids. In: 21st ICALP, LNCS 820, Springer 1994, pp. 388\u2013399. (Full version to appear in Theor. Comp. Science)","DOI":"10.1007\/3-540-58201-0_84"},{"key":"41_CR13","unstructured":"Droste, M.: Aperiodic languages over concurrency monoids. To appear."},{"key":"41_CR14","first-page":"69","volume-title":"Semantics of Programming Languages and Model Theory","author":"M. Droste","year":"1993","unstructured":"Droste, M. and R.M. Shortt: Petri nets and automata with concurrency relations \u2014 an adjunction. In: Semantics of Programming Languages and Model Theory (M. Droste, Y. Gurevich, eds.), Gordon and Breach Science Publ., OPA (Amsterdam), 1993, 69\u201387."},{"key":"41_CR15","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0304-3975(92)90080-Y","volume":"97","author":"G. Guaiana","year":"1992","unstructured":"Guaiana, G., A. Restivo and S. Salemi: Star-free trace languages. Theor. Comp. Science 97 (1992), 301\u2013311.","journal-title":"Theor. Comp. Science"},{"key":"41_CR16","doi-asserted-by":"crossref","unstructured":"Katz, S. and D. Peled: Defining conditional independence using collapses. In: Semantics for Concurrency (M.Z. Kwiatowska, M.W. Shields, R.M. Thomas, eds.), Proc. of the Int. BCS-FACS Workshop at Leicester, 1990, Springer, 262\u2013280.","DOI":"10.1007\/978-1-4471-3860-0_16"},{"key":"41_CR17","unstructured":"Kuske, D.: Modelle nebenl\u00e4ufiger Prozesse \u2014 Monoide, Residuensysteme und Automaten. Dissertation, Universit\u00e4t GHS Essen, 1994."},{"key":"41_CR18","doi-asserted-by":"crossref","unstructured":"Kuske, D.: Nondeterministic automata with concurrency relations. Colloquium on Trees in Algebra and Programming, LNCS 787, Springer, 1994, 202\u2013217.","DOI":"10.1007\/BFb0017483"},{"key":"41_CR19","unstructured":"Levy, J.J.: R\u00e9ductions correctes et optimales dans le \u03bb-calcul. Ph.D. Thesis, Universit\u00e9 Paris VII, 1978."},{"key":"41_CR20","volume-title":"DAIMI Report PB-78","author":"A. Mazurkiewicz","year":"1977","unstructured":"Mazurkiewicz, A.: Concurrent program schemes and their interpretation. DAIMI Report PB-78, Aarhus University, Aarhus, 1977."},{"key":"41_CR21","unstructured":"Mazurkiewicz, A.: Trace theory. In: Advanced Course on Petri Nets, LNCS 188, Springer, 1985, pp. 279\u2013324."},{"key":"41_CR22","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(92)90180-N","volume":"96","author":"M. Nielsen","year":"1992","unstructured":"Nielsen, M., G. Rosenberg and P.S. Thiagarajan: Elementary transition systems. Theor. Comp. Science 96 (1992), 3\u201333.","journal-title":"Theor. Comp. Science"},{"key":"41_CR23","first-page":"56","volume":"27","author":"E. Ochmanski","year":"1985","unstructured":"Ochmanski, E.: Regular behaviour of concurrent systems, Bull. Europ. Assoc. for Theoretical Computer Science 27 (1985), 56\u201367.","journal-title":"Bull. Europ. Assoc. for Theoretical Computer Science"},{"key":"41_CR24","unstructured":"Panangaden, P., V. Shanbhogue and E.W. Stark: Stability and sequentiability in dataflow networks. In: 17th ICALP, LNCS 443, Springer, 1990, pp. 308\u2013321."},{"key":"41_CR25","unstructured":"Stark, E.W.: Connections between a concrete and an abstract model of concurrent systems. In: Proceedings of the 5th Conf. on the Mathematical Foundations of Programming Semantics, LNCS 389, Springer, 1989, pp. 52\u201374."},{"key":"41_CR26","doi-asserted-by":"crossref","unstructured":"Winskel, G.: Event structures. In: Petri Nets: Applications and Relationships to Other Models of Concurrency (W. Brauer, W. Reisig, G. Rozenberg, eds.), LNCS 255, Springer, 1987, pp. 325\u2013392.","DOI":"10.1007\/3-540-17906-2_31"},{"key":"41_CR27","unstructured":"Winskel, G. and M. Nielsen: Models for concurrency. In: Handbook of Logic in Computer Science (S. Abramsky, D.M. Gabbay, T.S.E. Maibaum, eds.), to appear."}],"container-title":["Lecture Notes in Computer Science","STACS 95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59042-0_97.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:55:47Z","timestamp":1640922947000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59042-0_97"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540590422","9783540491750"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-59042-0_97","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}