{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T12:28:56Z","timestamp":1780316936892,"version":"3.54.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1988,9,1]],"date-time":"1988-09-01T00:00:00Z","timestamp":589075200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BIT"],"published-print":{"date-parts":[[1988,9]]},"DOI":"10.1007\/bf01941136","type":"journal-article","created":{"date-parts":[[2005,7,31]],"date-time":"2005-07-31T10:23:42Z","timestamp":1122805422000},"page":"581-604","source":"Crossref","is-referenced-by-count":9,"title":["On the design of reactive systems"],"prefix":"10.1007","volume":"28","author":[{"given":"R.","family":"Kurki-Suonio","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"T.","family":"Kankaanp\u00e4\u00e4","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"BF01941136_CR1","unstructured":"Ada Programming Language, ANSI\/MIL-STD-1815A-1983."},{"key":"BF01941136_CR2","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"B. Alpern and F. B. Schneider,Defining liveness, Information Processing Letters 21, (Oct. 1985), 181\u2013185.","journal-title":"Information Processing Letters"},{"key":"BF01941136_CR3","unstructured":"R. J. R. Back,Refining atomicity in parallel algorithms, Reports in Computer Science 57, \u00c5bo Akademi 1988."},{"key":"BF01941136_CR4","unstructured":"R. J. R. Back, E. Hartikainen and R. Kurki-Suonio,Multi-process handshaking on broadcasting networks, Reports in Computer Science 42, \u00c5bo Akademi 1985."},{"key":"BF01941136_CR5","doi-asserted-by":"crossref","unstructured":"R. J. R. Back and R. Kurki-Suonio,Decentralization of process nets with a centralized control. In 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Montreal, Canada, Aug. 1983, 131\u2013142.","DOI":"10.1145\/800221.806716"},{"key":"BF01941136_CR6","unstructured":"R. J. R. Back and R. Kurki-Suonio,A case study in constructing distributed algorithms: distributed exchange sort, In Proc. Winter School on Theoretical Computer Science, Lammi, Finland, Jan. 1984, Finnish Society of Information Processing Science, 1\u201333."},{"key":"BF01941136_CR7","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1145\/36792.36815","volume":"6","author":"R. J. R. Back","year":"1987","unstructured":"R. J. R. Back and R. Kurki-Suonio,A new paradigm for the design of concurrent systems, Ada Letters VII, 6 (Fall 1987), 110\u2013112.","journal-title":"Ada Letters VII"},{"key":"BF01941136_CR8","doi-asserted-by":"crossref","unstructured":"R. J. R. Back and R. Kurki-Suonio,Serializability in distributed systems with handshaking. In Automata, Languages and Programming (Ed. T. Lepisto and A. Salomaa), LNCS 317, Springer-Verlag, 1988, 52\u201366. An earlier version has appeared as Report CMU-CS-85-109, Carnegie-Mellon University, 1985.","DOI":"10.1007\/3-540-19488-6_106"},{"key":"BF01941136_CR9","unstructured":"R. J. R. Back and R. Kurki-Suonio,Distributed cooperation with action systems, To appear in ACM Trans. Programming Languages and Systems. An earlier version has appeared as Reports in Computer Science 56, \u00c5bo Akademi 1987."},{"key":"BF01941136_CR10","doi-asserted-by":"crossref","unstructured":"K. M. Chandy and J. Misra,A Foundation of Parallel Program Design, Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"BF01941136_CR11","unstructured":"E. W. Dijkstra,A Discipline of Programming, Prentice-Hall, 1976."},{"key":"BF01941136_CR12","unstructured":"C. Forgy and M. C. Dermot,OPS, a domain independent production system language, In Proc. Fifth International Joint Conference on Artificial Intelligence, Cambridge, Mass., 1977, 933\u2013939."},{"key":"BF01941136_CR13","unstructured":"I. R. Forman,On the design of large distributed systems, Microelectronics and Computer Technology Corporation Report STP-098-86."},{"key":"BF01941136_CR14","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel,Statecharts: a visual formalism for complex systems, Science of Computer Programming 8 (1987), 231\u2013274.","journal-title":"Science of Computer Programming"},{"issue":"8","key":"BF01941136_CR15","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. Hoare","year":"1978","unstructured":"C. A. R. Hoare,Communicating sequential processes, Commun. ACM 21, 8 (Aug. 1978), 666\u2013677. Reprinted in Commun. ACM 26, 1 (Jan. 1983), 100\u2013106.","journal-title":"Commun. ACM"},{"key":"BF01941136_CR16","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare,Communicating Sequential Processes, Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"BF01941136_CR17","doi-asserted-by":"crossref","unstructured":"R. Kurki-Suonio,Nondeterminism, parallelism and intermittent assertions, In Mathematical Studies in Information Processing (Ed. E. K. Blum, M. Paul and S. Takasu), LNCS 75, Springer-Verlag 1979, 106\u2013126.","DOI":"10.1007\/3-540-09541-1_24"},{"key":"BF01941136_CR18","doi-asserted-by":"crossref","unstructured":"R. Kurki-Suonio,Towards programming with knowledge expressions, In 13th ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, Jan. 1986, 140\u2013149.","DOI":"10.1145\/512644.512657"},{"key":"BF01941136_CR19","unstructured":"L. Lamport,A theorem on atomicity in distributed systems, Digital Systems Research Center Report 28, 1988."},{"issue":"12","key":"BF01941136_CR20","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1145\/361227.361234","volume":"18","author":"R. J. Lipton","year":"1975","unstructured":"R. J. Lipton,Reduction: a method of proving properties of parallel programs, Commun. ACM 18, 12 (Dec. 1975), 717\u2013721.","journal-title":"Commun. ACM"},{"key":"BF01941136_CR21","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli,How to cook a temporal proof system for your pet language, In 10th ACM Symposium on Principles of Programming Languages, Austin, Texas, Jan. 1983, 141\u2013154.","DOI":"10.1145\/567067.567082"},{"issue":"4","key":"BF01941136_CR22","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/BF01934408","volume":"22","author":"P. Naur","year":"1982","unstructured":"P. Naur,Formalization in program development, BIT 22, 4 (1982), 437\u2013453.","journal-title":"BIT"},{"key":"BF01941136_CR23","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"S. Owicki and D. Gries,An axiomatic proof technique for parallel programs, Acta Informatica 6 (1976), 319\u2013340.","journal-title":"Acta Informatica"},{"key":"BF01941136_CR24","doi-asserted-by":"crossref","unstructured":"A. Pnueli,Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends, In Current Trends in Concurrency (Ed. J. W. de Bakker, W.-P. de Roever and G. Rozenberg), LNCS 224, Springer-Verlag 1986, 510\u2013584.","DOI":"10.1007\/BFb0027047"}],"container-title":["BIT"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01941136.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01941136\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01941136","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T22:36:35Z","timestamp":1683153395000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01941136"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,9]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1988,9]]}},"alternative-id":["BF01941136"],"URL":"https:\/\/doi.org\/10.1007\/bf01941136","relation":{},"ISSN":["0006-3835","1572-9125"],"issn-type":[{"value":"0006-3835","type":"print"},{"value":"1572-9125","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,9]]}}}