{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:54Z","timestamp":1761611154823,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/qsic.2003.1319106","type":"proceedings-article","created":{"date-parts":[[2005,4,12]],"date-time":"2005-04-12T10:25:04Z","timestamp":1113301504000},"page":"216-235","source":"Crossref","is-referenced-by-count":9,"title":["Behavioral verification of distributed concurrent systems with BOBJ"],"prefix":"10.1109","author":[{"given":"J.","family":"Goguen","sequence":"first","affiliation":[]},{"family":"Kai Lin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","first-page":"213","article-title":"Hidden congruent deduction","author":"rosu","year":"1998","journal-title":"Proceedings 1998 Workshop on First Order Theorem Proving"},{"article-title":"Hidden Logic","year":"2000","author":"rosu","key":"ref32"},{"key":"ref31","article-title":"Behavioural equivalence-a unifying concept for initial and final specifications","author":"reichel","year":"1981","journal-title":"Proceedings Third Hungarian Computer Science Conference Akademiai Kiado"},{"key":"ref30","article-title":"Concurrency and Automata on Infinite Sequences","volume":"104","author":"park","year":"1980"},{"key":"ref34","article-title":"Circular coinduction","author":"rosu","year":"2001","journal-title":"Proceedings of the International Conference on Automated Deduction"},{"key":"ref10","article-title":"Context induction: an exercise","author":"gaudel","year":"1991","journal-title":"Technical Report 687 LRI"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1145\/73103.73110","article-title":"Principles of parameterized programming","author":"goguen","year":"1989","journal-title":"Software Reusability Volume I Concepts and Models"},{"key":"ref12","first-page":"357","article-title":"Types as theories","author":"goguen","year":"1989","journal-title":"1991 Proceedings of a Conference held at Oxford"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/147508.147524"},{"key":"ref14","first-page":"1","article-title":"Towards an algebraic semantics for the object paradigm","volume":"785","author":"goguen","year":"1994","journal-title":"Proceedings Tenth Workshop on Abstract Data Types"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013323127548"},{"key":"ref16","first-page":"123","article-title":"Circular coinductive rewriting. In Automated Software Engineering '00","author":"goguen","year":"0","journal-title":"IEEE 2000 Proceedings of a workshop held in Grenoble"},{"key":"ref17","article-title":"Behavioral and coinductive rewriting","volume":"36","author":"goguen","year":"2001","journal-title":"Proceedings Rewriting Logic Workshop 2000"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129599002777"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00275-3"},{"key":"ref28","first-page":"459","article-title":"Initiality, induction and computability","author":"meseguer","year":"1985","journal-title":"Algebraic Methods in Semantics"},{"article-title":"Software Engineering Economics","year":"1981","author":"boehm","key":"ref4"},{"article-title":"Machine Support for Behavioral Algebraic Specification and Verification","year":"2003","author":"lin","key":"ref27"},{"key":"ref3","article-title":"Constructor-based observational logic","author":"bidoit","year":"2003","journal-title":"Technical Report LSV-03-9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80756-X"},{"key":"ref29","article-title":"A Calculus of Communicating Systems","volume":"92","author":"milner","year":"1980"},{"key":"ref5","first-page":"185","article-title":"An informal introduction to specifications using Clear","author":"burstall","year":"1981","journal-title":"The Correctness Problem in Computer Science"},{"key":"ref8","first-page":"74","article-title":"Behavioural coherence in object-oriented algebraic specification","volume":"6","author":"diaconescu","year":"2000","journal-title":"Journal of Universal Computer Science"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1142\/3831"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053582"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69962-7"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139172752","author":"baader","year":"1998","journal-title":"Term Rewriting and All That"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90302-V"},{"key":"ref22","first-page":"1","article-title":"A protocol for distributed cooperative work","volume":"28","author":"goguen","year":"1999","journal-title":"Proceedings FCT'99 Workshop on Distributed Systems"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48118-4_40"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52531-9_129"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6541-0_1"},{"key":"ref26","first-page":"222","article-title":"A tutorial on (co)algebras and (co)induction","volume":"62","author":"jacobs","year":"1997","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49253-4_20"}],"event":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","start":{"date-parts":[[2003,11,7]]},"location":"Dallas, TX, USA","end":{"date-parts":[[2003,11,7]]}},"container-title":["Third International Conference on Quality Software, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9215\/29226\/01319106.pdf?arnumber=1319106","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T15:52:42Z","timestamp":1586188362000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319106\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/qsic.2003.1319106","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}