{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T12:58:05Z","timestamp":1775048285293,"version":"3.50.1"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1989,6,1]],"date-time":"1989-06-01T00:00:00Z","timestamp":612662400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib Comput"],"published-print":{"date-parts":[[1989,6]]},"DOI":"10.1007\/bf01558665","type":"journal-article","created":{"date-parts":[[2005,4,27]],"date-time":"2005-04-27T19:51:07Z","timestamp":1114631467000},"page":"73-87","source":"Crossref","is-referenced-by-count":87,"title":["Decentralization of process nets with centralized control"],"prefix":"10.1007","volume":"3","author":[{"given":"R. -J. R.","family":"Back","sequence":"first","affiliation":[]},{"given":"R.","family":"Kurki-Suonio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","first-page":"189","volume":"1987","author":"K Apt","year":"1987","unstructured":"Apt K, Francez N, Katz S (1987) Appraising fairness in languages for distributed programming. Proc 14th ACM POPL Conf, Munich 1987, pp 189\u2013198","journal-title":"Proc 14th ACM POPL Conf, Munich"},{"key":"CR2","unstructured":"Back RJR, Hartikainen E, Kurki-Suonio R (1985) Multi-process handshaking on broadcasting networks. Rep Comput Sci 42, Abo Akademi"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Back RJR, Kurki-Suonio R (1983) Decentralization of process nets with centralized control. 2nd Annu ACM Symp on PoDC, Montreal, Canada, 1983, pp 131\u2013142","DOI":"10.1145\/800221.806716"},{"key":"CR4","unstructured":"Back RJR, Kurki-Suonio R (1984) A case study in constructing distributed algorithms: distributed exchange sort. Proc Winter School on Theoretical Computer Science, Lammi 1984, Finnish Society for Information Processing, pp 1\u201333"},{"key":"CR5","unstructured":"Back RJR, Kurki-Suonio R (1984) Co-operation in distributed systems using symmetric multi process handshaking. Rep Comput Sci 34, Abo Akademi"},{"key":"CR6","series-title":"Res Rep CMU-CS-85-109","volume-title":"Serializability in distributed systems with handshaking","author":"RJR Back","year":"1985","unstructured":"Back RJR, Kurki-Suonio R (1985) Serializability in distributed systems with handshaking. Res Rep CMU-CS-85-109, Carnegie-Mellon University, Pittsburgh"},{"key":"CR7","unstructured":"Back RJR, Kurki-Suonio R (1987) Distributed co-operation with action systems. Rep Comput Sci Mathematics 56, Abo Akademi"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Bagrodia R (1987) A distributed algorithm to implement n-party rendezvous. University of Texas, Department of Computer Science technical report, June 1987","DOI":"10.1007\/3-540-18625-5_48"},{"key":"CR9","unstructured":"Bouge L, Francez N (1988) A compositional approach to super-imposition. 15th ACM Conf on Principles of Programming Languages. San Diego, Calif, pp 240\u2013249"},{"issue":"2","key":"CR10","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1145\/69624.357208","volume":"5","author":"GN Buckley","year":"1983","unstructured":"Buckley GN, Silberschatz A (1983) An effective implementation for the generalizated input-output construct of CSP. ACM TOPLAS vol 5, 2 (April 1983), pp 223\u2013235.","journal-title":"ACM TOPLAS"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Chandy M (1985) Concurrent programming for the masses. Proc 4th Annu ACM Symp PODC","DOI":"10.1145\/323596.323597"},{"issue":"1","key":"CR12","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"KM Chandy","year":"1985","unstructured":"Chandy KM, Lamport L (1985) Distributed snapshots: determining global states of distributed systems. ACM Trans Comput Syst 3(1):63\u201375","journal-title":"ACM Trans Comput Syst"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Chandy M, Misra J (1982) A distributed algorithm for detecting resource deadlocks in distributed systems. ACM SIGACTSIGOPS Symp on Principles of Distributed Computing 1982, pp 157\u2013164","DOI":"10.1145\/800220.806693"},{"issue":"no 3","key":"CR14","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1145\/5956.5958","volume":"8","author":"M Chandy","year":"1986","unstructured":"Chandy M, Misra J (1986) An example of stepwise refinement of distributed programs: quiescence detection. ACM TOPLAS, vol 8, no 3 (July 1866), pp 326\u2013343","journal-title":"ACM TOPLAS"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Chandy M, Misra J (1988) A foundation of parallel program design. Addison-Wesley (forthcoming)","DOI":"10.1007\/978-1-4613-9668-0_6"},{"issue":"2","key":"CR16","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1145\/357360.357365","volume":"1","author":"KM Chandy","year":"1983","unstructured":"Chandy KM, Misra J, Haas L (1983) Distributed deadlock detection. ACM Trans Comput Syst 1(2):144\u2013156","journal-title":"ACM Trans Comput Syst"},{"key":"CR17","series-title":"Inf Fachber","volume-title":"Application and Theory of Petri Nets","author":"FG Cindio de","year":"1982","unstructured":"de Cindio FG, de Michelis D, Pomello L, Simone C (1982) Superposed automata nets. Second European Workshop on Application and Theory of Petri Nets. In: Girault C, Reisig W (eds), Application and Theory of Petri Nets. Inf Fachber 52, Springer, Berlin Heidelberg New York Tokyo"},{"issue":"1","key":"CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0020-0190(80)90021-6","volume":"11","author":"EW Dijkstra","year":"1980","unstructured":"Dijkstra EW, Scholten CS (1980) Termination detection for diffusing computations. Inf Process Lett, 11(1):1\u20134","journal-title":"Inf Process Lett"},{"key":"CR19","unstructured":"US Department of Defense (1980) Reference manual for the Ada programming language. Proposed Standard Document, US Department of Defense, July 1980"},{"key":"CR20","unstructured":"Eklund P (1985) Synchronizing multiple processes in common handshakes. Rep Comput Sci 39, Abo Akademi"},{"key":"CR21","unstructured":"Evengelist M, Shen VY, Forman I, Graf M (1987) Using raddle to design distributed systems. MCC Tech Rep STP-285-87, September 1987"},{"issue":"1","key":"CR22","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1145\/357084.357087","volume":"2","author":"N Francez","year":"1980","unstructured":"Francez N (1980) Distributed termination. ACM Trans Program Lang syst 2(1):42\u201355","journal-title":"ACM Trans Program Lang syst"},{"key":"CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4886-6","volume-title":"Fairness","author":"N Grancez","year":"1986","unstructured":"Grancez N (1986) Fairness. Springer, Berlin Heidelberg New York Tokyo"},{"key":"CR24","first-page":"157","volume":"15","author":"L Gergely","year":"1982","unstructured":"Gergely L, Ury L (1982) Representation and verification of communicating sequential processes. Comp Ling Comput Lang 15:157\u2013174","journal-title":"Comp Ling Comput Lang"},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"Grumberg O, Francez N, Katz S (1984) Fair termination of communicating processes. 3rd ACM SIGACT-SIGOPS Symp on Principles of Distributed Computing, Vancouver 1984","DOI":"10.1145\/800222.806752"},{"issue":"8","key":"CR26","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare CAR (1978) Communicating sequential processes. Commun ACM 21(8):666\u2013677","journal-title":"Commun ACM"},{"key":"CR27","unstructured":"Katz S (1987) A superimposition control construct for distributed systems. MCC Tech Rep STP 268-87"},{"key":"CR28","doi-asserted-by":"crossref","unstructured":"Manna Z, Pnueli A (1983) How to cook a temporal proof system for your pet language. 10th ACM Conf on Principles of Programming Languages, Austin, Texas, pp 141\u2013154","DOI":"10.1145\/567067.567082"},{"key":"CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/3-540-17945-3_21","volume-title":"PARLE, Parallel Architectures and Languages Europe, Proc vol II","author":"AR Martin","year":"1987","unstructured":"Martin AR, Tucker JV (1987) The concurrent assignment representation of synchronous systems. PARLE, Parallel Architectures and Languages Europe, Proc vol II. (Lect Notes Comput Sci 256) Springer, Berlin Heidelberg New York Tokyo, pp 369\u2013386"},{"key":"CR30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0167-6423(86)90016-X","volume":"6","author":"R McCurley","year":"1986","unstructured":"McCurley R, Schneider FB (1986) Derivation of a distributed algorithm for finding paths in directed networks. Sci Comput Program 6:1\u20139","journal-title":"Sci Comput Program"},{"key":"CR31","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1007\/BFb0027047","volume-title":"Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends Current trends in concurrency","author":"A Pnueli","year":"1986","unstructured":"Pnueli A (1986) Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends Current trends in concurrency (Lect Notes Comput Sci 224) Springer, Berlin Heidelberg New York Tokyo, pp 510\u2013584"},{"key":"CR32","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/3-540-17945-3_22","volume-title":"PARLE, Parallel Architectures and Languages Europe, Proc vol II","author":"S Ramesh","year":"1987","unstructured":"Ramesh S (1987) A new and efficient implementation of multiprocess synchronization. PARLE, Parallel Architectures and Languages Europe, Proc vol II. (Lect Notes Comput Sci 256), Springer, Berlin Heideberg New York Tokyo, pp 387\u2013401"},{"issue":"8","key":"CR33","doi-asserted-by":"crossref","first-page":"967","DOI":"10.1109\/TSE.1987.233514","volume":"13","author":"S Ramesh","year":"1987","unstructured":"Ramesh S, Mehndiratta SL (1987) A methodology for developing distributed algorithms. IEEE Trans Software Engineering SE-13(8):967\u2013976","journal-title":"IEEE Trans Software Engineering SE"},{"key":"CR34","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF01667079","volume":"2","author":"A Shankar","year":"1987","unstructured":"Shankar A, Lam S (1987) Time-dependent distributed systems: proving safety, liveness and real-time properties. Distrib Comput 2:61\u201379","journal-title":"Distrib Comput"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01558665.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01558665\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01558665","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T03:37:50Z","timestamp":1586230670000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01558665"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,6]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1989,6]]}},"alternative-id":["BF01558665"],"URL":"https:\/\/doi.org\/10.1007\/bf01558665","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,6]]}}}