乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:22:01Z","timestamp":1720624921657},"reference-count":24,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":5323,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1999]]},"DOI":"10.1016\/s1571-0661(05)80275-0","type":"journal-article","created":{"date-parts":[[2005,5,25]],"date-time":"2005-05-25T12:37:08Z","timestamp":1117024628000},"page":"164-180","source":"Crossref","is-referenced-by-count":5,"special_numbering":"C","title":["(\u03a9, \u039e)-Logic: On the Algebraic Extension of Coalgebraic Specifications"],"prefix":"10.1016","volume":"19","author":[{"given":"Rolf","family":"Hennicker","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Kurz","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80275-0_BIB1","doi-asserted-by":"crossref","unstructured":"M. Bidoit and R. Hennicker. Proving behavioural theorems with standard first order logic. In G. Levi and M. Rodriguez-Artalejo, editors, Proc. Algebraic and Logic Programming, 4th International Conference, ALP '94, Madrid, September 1994, volume 850 of LNCS, pages 41\u201358, Berlin, 1994. Springer.","DOI":"10.1007\/3-540-58431-5_6"},{"key":"10.1016\/S1571-0661(05)80275-0_BIB2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(96)00039-4","article-title":"Behavioural theories and the proof of behavioural properties","volume":"175","author":"Bidoit","year":"1996","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(05)80275-0_BIB3","doi-asserted-by":"crossref","first-page":"951","DOI":"10.1007\/s002360050149","article-title":"Modular correctness proofs of behavioural implementations","volume":"35","author":"Bidoit","year":"1998","journal-title":"Acta Informatica"},{"key":"10.1016\/S1571-0661(05)80275-0_BIB4","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0167-6423(95)00014-3","article-title":"Behavioural and abstractor specifications","volume":"25","author":"Bidoit","year":"1995","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1571-0661(05)80275-0_BIB5","unstructured":"R. Diaconescu. Behavioural coherence in object-oriented algebraic specification. Technical Report IS-RR-98-0017F, Japan Advanced Institute for Science and Technology, 1998."},{"key":"10.1016\/S1571-0661(05)80275-0_BIB6","unstructured":"J. Goguen and G. Malcolm. A hidden agenda. Technical Report CS97-538, UCSD, 1997."},{"key":"10.1016\/S1571-0661(05)80275-0_BIB7","unstructured":"H. Peter Gumm. Functors for coalgebras. Algebra Universalis. To appear."},{"key":"10.1016\/S1571-0661(05)80275-0_BIB8","article-title":"Equational and implicational classes of co-algebras. Extended abstract","author":"Peter Gumm","year":"1998","journal-title":"RelMiCS'4. The 4th International Seminar on Relational Methods in Logic, Algebra and Computer Science, Warsaw"},{"key":"10.1016\/S1571-0661(05)80275-0_BIB9","doi-asserted-by":"crossref","unstructured":"R. Hennicker and M. Bidoit. Observational logic. In Proc. of AMAST'98, 7th International Conference on Algebraic Methodology and Software Technology, LNCS 1548, pages 263\u2013277, 1999.","DOI":"10.1007\/3-540-49253-4_20"},{"key":"10.1016\/S1571-0661(05)80275-0_BIB10","doi-asserted-by":"crossref","unstructured":"Rolf Hennicker. Structured specifications with behavioural operators: Semantics, proof methods and applications. Habilitation thesis, Universit\u00e4t M\u00fcnchen, 1997.","DOI":"10.1016\/S0304-3975(96)00162-4"},{"key":"10.1016\/S1571-0661(05)80275-0_BIB11","article-title":"A tutorial on (co)algebras and (co)induction","volume":"62","author":"Jacobs","year":"1997","journal-title":"EATCS Bulletin"},{"key":"10.1016\/S1571-0661(05)80275-0_BIB12","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60043-4_57","article-title":"Mongruences and cofree coalgebras","volume":"936","author":"Jacobs","year":"1995","journal-title":"Lecture Notes in Computer Science"},{"key":"10.1016\/S1571-0661(05)80275-0_BIB13","series-title":"Object-Orientation with Parallelism and Persistence","article-title":"Objects and classes, co-algebraically","author":"Jacobs","year":"1996"},{"key":"10.1016\/S1571-0661(05)80275-0_BIB14","series-title":"Model Theory for Infinitary Logic","author":"Keisler","year":"1971"},{"key":"10.1016\/S1571-0661(05)80275-0_BIB15","unstructured":"Alexander Kurz. A co-variety-theorem for modal logic. Proceedings of Advances in Modal Logic, Uppsala, pages 222\u2013230, 1998. http:\/\/www.informatik.uni-muenchen.de\/~kurz."},{"key":"10.1016\/S1571-0661(05)80275-0_BIB16","unstructured":"G. Malcolm and J. Goguen. Proving correctness of refinement and implementation. Technical Report PRG-114, Oxford University Computing Laboratory, 1994."},{"key":"10.1016\/S1571-0661(05)80275-0_BIB17","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/3-540-61629-2_53","article-title":"Behavioural equivalence, bisimulation, and minimal realisation","volume":"1130","author":"Malcolm","year":"1996","journal-title":"Lecture Notes in Computer Science"},{"key":"10.1016\/S1571-0661(05)80275-0_BIB18","series-title":"Algebraic Theories","author":"Manes","year":"1976"},{"key":"10.1016\/S1571-0661(05)80275-0_BIB19","series-title":"Recent Trends in Data Type Specification, volume 1130 of LNCS","first-page":"409","article-title":"Swinging data types: syntax, semantics, and theory","author":"Padawitz","year":"1996"},{"key":"10.1016\/S1571-0661(05)80275-0_BIB20","series-title":"Initial computability, algebraic specifications, and partial algebras","author":"Reichel","year":"1987"},{"issue":"2","key":"10.1016\/S1571-0661(05)80275-0_BIB21","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1017\/S0960129500000694","article-title":"An approach to object semantics based on terminal co-algebras","volume":"5","author":"Reichel","year":"1995","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1571-0661(05)80275-0_BIB22","unstructured":"G. Ro\u015fu and J. Goguen. Hidden congruent deduction. Proc. International Workshop on First Order Theorem Proving, 1998. http:\/\/www-cse.ucsd.edu\/users\/goguen\/ps\/cong.ps.gz."},{"key":"10.1016\/S1571-0661(05)80275-0_BIB23","article-title":"Initial algebra and final coalgebra semantics for concurrency","author":"Rutten","year":"1994","journal-title":"Report CS-R9409, CWI, Amsterdam"},{"key":"10.1016\/S1571-0661(05)80275-0_BIB24","article-title":"Universal coalgebra: A theory of systems","author":"Rutten","year":"1996","journal-title":"Report CS R 9652, CWI, Amsterdam"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105802750?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105802750?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,11,4]],"date-time":"2021-11-04T22:42:50Z","timestamp":1636065770000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105802750"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":24,"alternative-id":["S1571066105802750"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80275-0","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}