{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:26:16Z","timestamp":1729661176082,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iceccs.2004.1310909","type":"proceedings-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T09:50:22Z","timestamp":1096365022000},"page":"107-116","source":"Crossref","is-referenced-by-count":1,"title":["A conceptual framework for state-based and event-based formal behavioural specification languages"],"prefix":"10.1109","author":[{"given":"T.","family":"Bolognesi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-40911-4"},{"key":"ref11","first-page":"9","article-title":"1993: Lipari Guide","author":"gurevich","year":"1995","journal-title":"Specification and Validation Methods"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-84524-6"},{"journal-title":"Specifying Systems","year":"2003","author":"lamport","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1998.671106"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume":"92","author":"milner","year":"1980","journal-title":"A Calculus of Communicating Systems 92 of LNCS"},{"journal-title":"The Z Notation A Reference Manual","year":"1989","author":"spivey","key":"ref18"},{"key":"ref19","first-page":"184","article-title":"The Semantics of Circus","author":"woodcock","year":"2002","journal-title":"ZB2002 Formal Specification and Development in Z and B LNCS 2272"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36498-6_2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:19986907"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(87)90085-7"},{"journal-title":"Ober die spezielle und allgemeine Relativitiitstheorie (gemeinverstandlich)","year":"1916","author":"einstain","key":"ref8"},{"journal-title":"The Unified Modeling Language User Guide","year":"1991","author":"booch","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/151646.151649"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/978-0-387-35261-9_29","article-title":"CSP-OZ’, a Combination of Object-Z and CSP","volume":"2","author":"fisher","year":"1997","journal-title":"Formal Methods for Open Object-Based Distributed Systems (FMOODS 97)"}],"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\/01310909.pdf?arnumber=1310909","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,8]],"date-time":"2018-08-08T05:37:52Z","timestamp":1533706672000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1310909\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iceccs.2004.1310909","relation":{},"subject":[]}}