{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:53Z","timestamp":1725663653516},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544302"},{"type":"electronic","value":"9783540383574"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54430-5_96","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:48:03Z","timestamp":1330192083000},"page":"298-316","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":43,"title":["Action systems and action refinement in the development of parallel systems"],"prefix":"10.1007","author":[{"given":"Wil","family":"Janssen","sequence":"first","affiliation":[]},{"given":"Mannes","family":"Poel","sequence":"additional","affiliation":[]},{"given":"Job","family":"Zwiers","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"R.J.R. Back, A calculus of refinements for program derivations, Acta Informatica 25, 1988.","DOI":"10.1007\/BF00291051"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"H. Barringer, R. Kuiper and A. Pnueli, Now you may compose temporal logic specifications, Proc. of the 16th ACM Symposium on Theory of Computing, Washington, 1984, pp. 51\u201363.","DOI":"10.1145\/800057.808665"},{"key":"22_CR3","unstructured":"P.A. Bernstein, V. Hadzilacos and N. Goodman, Concurrency Control and Recovery in Database Systems, Addison-Wesley, 1987."},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"K.M. Chandy and J. Misra, Parallel Program Design: A Foundation, Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"P. Degano, R. De Nicola and U. Montanari, Partial orderings descriptions and observations of nondeterministic concurrent processes, Proc. of the REX workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, 1988, LNCS 354, pp. 438\u2013466.","DOI":"10.1007\/BFb0013030"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"T. Elrad and N. Francez, Decomposition of distributed programs into communication closed layers, Science of Computer Programming 2, 1982.","DOI":"10.1016\/0167-6423(83)90013-8"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"H. Gaifman, Modeling Concurrency by Partial Orders and Nonlinear Transition Systems, Proc. of the REX workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, 1988, LNCS 354, pp. 467\u2013488.","DOI":"10.1007\/BFb0013031"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"R.T. Gallager, P.A. Humblet and P.M. Spira, A distributed algorithm for minimum-weight spanning trees, ACM TOPLAS 5-1, 1983.","DOI":"10.1145\/357195.357200"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"R. J. van Glabbeek and U. Goltz, Equivalence Notions for Concurrent Systems and Refinement of Actions, Arbeitspapiere der GMD, Number 366, GMD, 1989","DOI":"10.1007\/3-540-51486-4_71"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare and He Jifeng, The weakest prespecification, IPL, 1987.","DOI":"10.1016\/0020-0190(87)90106-2"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"J. Hooman, Specification and Compositional Verification of Real-Time Systems, Ph.D. Thesis, Eindhoven University of Technology, 1991.","DOI":"10.1007\/3-540-54947-1"},{"key":"22_CR12","unstructured":"C.B. Jones, Systematic software development using VDM, Prentice-Hall, 1986."},{"key":"22_CR13","unstructured":"W. Janssen, M. Poel and J. Zwiers, Consistent alternatives of parallelism with conflicts, Memorandum INF-91-15, University of Twente."},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"S. Katz and D. Peled, Interleaving set temporal logic, Proc. of the 6th ACM Symposium on Principles of Distributed Computing, Vancouver, 1987, pp. 178\u2013190.","DOI":"10.1145\/41840.41855"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"L. Lamport, The Hoare Logic of concurrent programs, Acta Informatica 14, 1980.","DOI":"10.1007\/BF00289062"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli, Verification of concurrent programs: the temporal framework, In R.S. Boyer and J.S. Moore (eds), The Correctness Problem in Computer Science, Academic Press, 1981.","DOI":"10.21236\/ADA106750"},{"key":"22_CR17","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1007\/BFb0013034","volume":"354","author":"M. Nielsen","year":"1988","unstructured":"M. Nielsen, U. Engberg and K.S. Larsen, Fully abstract models for a process language with refinement, Proc. of the REX workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, 1988, LNCS 354, pp. 523\u2013548.","journal-title":"Proc. of the REX workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"S. Owicki and D. Gries, An axiomatic proof technique for parallel programs, Acta Informatica 6, 1976.","DOI":"10.1007\/BF00268134"},{"key":"22_CR19","first-page":"641","volume":"430","author":"L. Pomello","year":"1989","unstructured":"L. Pomello, Refinement of Concurrent Systems Based on Local State Transformations, Proc. REX workshop on Stepwise Refinement of Distributed Systems, 1989 LNCS 430, pp. 641\u2013668.","journal-title":"Proc. REX workshop on Stepwise Refinement of Distributed Systems"},{"key":"22_CR20","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"V. Pratt, Modelling Concurrency with Partial orders, International Journal of Parallel Programming 15, 1986, pp. 33\u201371.","journal-title":"International Journal of Parallel Programming"},{"key":"22_CR21","first-page":"242","volume":"392","author":"F.A. Stomp","year":"1989","unstructured":"F.A. Stomp and W.P. de Roever, Designing distributed algorithms by means of formal sequentially phased reasoning, Proc. of the 3rd International Workshop on Distributed Algorithms, Nice, LNCS 392, Eds. J.-C. Bermond and M. Raynal, 1989, pp. 242\u2013253.","journal-title":"Nice, LNCS"},{"key":"22_CR22","first-page":"364","volume":"354","author":"G. Winskel","year":"1988","unstructured":"G. Winskel, An introduction to event structures, Proc. of the REX workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, 1988, LNCS 354, pp. 364\u2013397.","journal-title":"LNCS"},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"J. Zwiers and W.P. de Roever, Predicates are Predicate Transformers: a unified theory for concurrency, Proc. of the conference on Principles of Distributed Computing, 1989.","DOI":"10.1145\/72981.73000"}],"container-title":["Lecture Notes in Computer Science","CONCUR '91"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54430-5_96","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T19:15:43Z","timestamp":1578510943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54430-5_96"}},"subtitle":["An algebraic approach"],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544302","9783540383574"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-54430-5_96","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"4 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}