{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T16:01:52Z","timestamp":1746374512097,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iceccs.2004.1310908","type":"proceedings-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T13:50:22Z","timestamp":1096379422000},"page":"97-106","source":"Crossref","is-referenced-by-count":4,"title":["Relating \u03c0-calculus to Object-Z"],"prefix":"10.1109","author":[{"given":"K.","family":"Taguchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Jin Song Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Ciobanu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Using Z: Specification, Refine-ment","year":"1996","author":"woodcock","key":"ref31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2001.991490"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0024655"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1145\/258077.258079","article-title":"Mobile unity: reasoning and specification in mobile computing","volume":"6","author":"mccann","year":"1997","journal-title":"ACM Trans Software Engineering and Methodology"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1997.630434"},{"key":"ref13","article-title":"International Conference on Formal Engineering Methods (ICFEM'02)","author":"george","year":"2002","journal-title":"volume 2495 of Springer Lecture Notes in Computer Science"},{"key":"ref14","article-title":"IFM'00: Integrated Formal Methods","author":"grieskamp","year":"2000","journal-title":"volume 1945 of Springer Lecture Notes in Computer Science"},{"journal-title":"Proc IEEE Int l Conf Formal Eng Methods (ICFEM 97)","year":"1997","author":"hinchey","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/32.841115"},{"article-title":"Communicating and mobile systems: the -calculus.","year":"1999","author":"milner","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/32.328995"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36103-0_17"},{"key":"ref4","first-page":"39","article-title":"A ?-calculus machine","volume":"6","author":"ciobanu","year":"2000","journal-title":"Journal of Universal Computer Science"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1997.630435"},{"article-title":"Parallel Programming Design.","year":"1988","author":"chandy","key":"ref3"},{"key":"ref6","first-page":"311","article-title":"XML-based static type checking and dynamic visualization for TCOZ","author":"dong","year":"0","journal-title":"George and Miao [13]"},{"key":"ref29","first-page":"428","article-title":"The Mobility Workbench–A tool for the ?-calculus","author":"victor","year":"1994","journal-title":"Computer Aided Verification (Proc of CAV'94) volume 818 of Springer Lecture Notes in Computer Science"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0072"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58555-9_105"},{"key":"ref7","article-title":"Formal Object Oriented Specification Using Object-Z","author":"duke","year":"2000","journal-title":"Cornerstones of Computing Macmil-lan"},{"key":"ref2","article-title":"IFM'02: Integrated Formal Methods","author":"butler","year":"2002","journal-title":"volume 2335 of Springer Lecture Notes in Computer Science"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0851-1_17"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0851-1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47764-0_22"},{"key":"ref22","article-title":"Applied pi–a brief tutorial","author":"sewell","year":"2000","journal-title":"Technical report 498 Computer Laboratory"},{"key":"ref21","first-page":"364","author":"r\u00f6ckl","year":"2001","journal-title":"Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'01) Held as Part of the Joint ETAPS'01 (Genova Italy April 2001) volume 2030 of Springer Lecture Notes in Computer Science"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011269103179"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0851-1_3"},{"key":"ref25","first-page":"82","article-title":"Encoding object-z in isabelle\/hol","author":"smith","year":"2002","journal-title":"2nd International Conference of Z and B Users (ZB'02) volume 2272 of Springer Lecture Notes in Computer Science"}],"event":{"name":"Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems","acronym":"ICECCS-04","location":"Florence, Italy"},"container-title":["Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9173\/29106\/01310908.pdf?arnumber=1310908","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T10:25:43Z","timestamp":1497608743000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1310908\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/iceccs.2004.1310908","relation":{},"subject":[]}}