{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T16:52:28Z","timestamp":1694623948175},"reference-count":18,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[1995,5,1]],"date-time":"1995-05-01T00:00:00Z","timestamp":799286400000},"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":["Form. Asp. Comput."],"published-print":{"date-parts":[[1995,5]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>Operations on action systems may be defined corresponding to CSP hiding and renaming. These are of particular use in describing the refinement between action systems in which the granularity of actions is altered. We derive a simplified expression for hiding sets of actions and present sufficient conditions for forwards simulation in which the concrete system uses hiding and renaming. Both of these reduce the complexity of proofs of refinement. We present a case study in specification and refinement using action systems which makes use of the operations and refinement rules previously defined.<\/jats:p>","DOI":"10.1007\/bf01211074","type":"journal-article","created":{"date-parts":[[2005,2,24]],"date-time":"2005-02-24T15:57:58Z","timestamp":1109260678000},"page":"266-288","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Event refinement in state-based concurrent systems"],"prefix":"10.1145","volume":"7","author":[{"given":"Jane","family":"Sinclair","sequence":"first","affiliation":[{"name":"Programming Research Group, Oxford University Computing Laboratory, 7-11 Keble Road, OX1 3QD, Oxford, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim","family":"Woodcock","sequence":"additional","affiliation":[{"name":"Programming Research Group, Oxford University Computing Laboratory, 7-11 Keble Road, OX1 3QD, Oxford, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","unstructured":"Abadi M. and Lamport L.: The existence of refinement mappings. Proc 3rd IEEE Symposium on LICS Edinburgh 1988."},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"crossref","unstructured":"Back R-J. R.: Refinement calculus II: Parallel and reactive programs. Proc REX Workshop on Stepwise Refinement of Distributed Systems: Models Formalisms Correctness J.W. de Bakker W.-P. de Roever and G. Rozenburg (eds) Springer-Verlag LNCS 430 1989.","DOI":"10.1007\/3-540-52559-9_61"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","unstructured":"Back R-J. R. and Sere K.: Refinement of action systems. Mathematics of Program Construction Springer-Verlag LNCS 375 1989.","DOI":"10.1007\/3-540-51305-1_7"},{"key":"e_1_2_1_2_4_2","unstructured":"Back R-J. R. and Sere K.: Deriving an Occam Implementation of Action Systems. Proc 3rd Refinement Workshop Carroll Morgan & J.C.P. Woodcock (eds) Springer-Verlag 1990."},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","unstructured":"Back R-J. R. and Kurki-Suonio R.: Decentralization of process nets with centralized control. Proc 2nd Annual Symposium on Principles of Distributed Computing Montreal 1983.","DOI":"10.1145\/800221.806716"},{"key":"e_1_2_1_2_6_2","unstructured":"Butler M. and Morgan G: Action Systems Unbounded Nondeterminism and Infinite Traces . Oxford University Computing Laboratory Programming Research Group 1991."},{"key":"e_1_2_1_2_7_2","unstructured":"Butler M.: DPhil thesis. Oxford University Computing Laboratory Programming Research Group 1993."},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"crossref","unstructured":"Back R-J. R. and von Wright J.: Refinement calculus I: Sequential nondeterministic programs. Proc REX Workshop on Stepwise Refinement of Distributed Systems: Models Formalisms Correctness J.W. de Bakker W.-P. de Roever and G. Rozenburg (eds) Springer-Verlag LNCS 430 1989.","DOI":"10.1007\/3-540-52559-9_60"},{"key":"e_1_2_1_2_9_2","unstructured":"Dijkstra E. W.: A Discipline of Programming . Prentice-Hall International 1976."},{"key":"e_1_2_1_2_10_2","unstructured":"Hoare C. A. R.: Communicating Sequential Processes . Prentice-Hall International 1985."},{"key":"e_1_2_1_2_11_2","doi-asserted-by":"crossref","unstructured":"Houston I. and King S.: CICS project report: experiences and results from the use of Z in IBM. Proceedings of the VDM-91 Symposium Springer-Verlag LNCS 551 1991.","DOI":"10.1007\/3-540-54834-3_34"},{"key":"e_1_2_1_2_12_2","unstructured":"Jifeng H.: Process Refinement. (ed) The Theory and Practice of Refinement J. McDermid (ed) Butterworths 1989."},{"key":"e_1_2_1_2_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01788563"},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/63238.63240","article-title":"A simple approach to specifying concurrent systems","volume":"32","author":"Lamport L.","year":"1989","journal-title":"Communications of the ACM"},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"crossref","unstructured":"Morgan C.: Of wp and CSP. Beauty is our Business A.J.M. van Gasteren W.H.J. Feijen D. Gries and J. Misra (eds) Springer-Verlag 1990.","DOI":"10.1007\/978-1-4612-4476-9_37"},{"key":"e_1_2_1_2_16_2","unstructured":"Roscoe A. W.: Unbounded nondeterminism in CSP . Technical Report PRG-67 Programming Research Group Oxford University July 1988."},{"key":"e_1_2_1_2_17_2","unstructured":"Spivey J. M.: The Z Notation: A Reference Manual . Prentice-Hall International 1989."},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"crossref","unstructured":"Woodcock J. C. P. and Morgan C: Refinement of State-Based Concurrent Systems Proceedings of the VDM-90 Conference Springer-Verlag LNCS 428 1990.","DOI":"10.1007\/3-540-52513-0_18"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01211074.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01211074\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01211074","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:23:49Z","timestamp":1641482629000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01211074"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,5]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,5]]}},"alternative-id":["10.1007\/BF01211074"],"URL":"https:\/\/doi.org\/10.1007\/bf01211074","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,5]]}}}