{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:23:06Z","timestamp":1725459786651},"publisher-location":"Berlin\/Heidelberg","reference-count":21,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540530487"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0039062","type":"book-chapter","created":{"date-parts":[[2006,1,31]],"date-time":"2006-01-31T14:58:08Z","timestamp":1138719488000},"page":"216-229","source":"Crossref","is-referenced-by-count":1,"title":["A temporal approach to algebraic specifications"],"prefix":"10.1007","author":[{"given":"Yulin","family":"Feng","sequence":"first","affiliation":[]},{"given":"Junbo","family":"Liu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J. Bergstra","year":"1985","unstructured":"J. Bergstra and J. Klop, Algebra of communicating processes with abstraction. TCS 37, 77\u2013121, 1985.","journal-title":"TCS"},{"key":"17_CR2","volume-title":"Process Theory Based on Bisimulation Semantics, Report P8824","author":"J. Bergstra","year":"1988","unstructured":"J. Bergstra and J. Klop, Process Theory Based on Bisimulation Semantics, Report P8824 Univ. of Amsterdam, Holland, 1988."},{"key":"17_CR3","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00625280","volume":"18","author":"M. Broy","year":"1982","unstructured":"M. Broy and M. Wirsing, Partial abstract types, Acta Informatica 18, 47\u201364, 1982.","journal-title":"Acta Informatica"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"M. Broy, Requirement and Design Specification for Distributed Systems, in F.Vogt ed., Proc. Concurrency 88, LNCS 335, Springer, 1988.","DOI":"10.1007\/3-540-50403-6_30"},{"issue":"2","key":"17_CR5","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. Clarke","year":"1986","unstructured":"E. Clarke, E. Emerson and A. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Trans. on Prog. Languages and Systems, 8(2), 244\u2013263, 1986.","journal-title":"ACM Trans. on Prog. Languages and Systems"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"H. Ehring, B. Mahr, Fundamentals of algebraic specification 1: Equations and initial semantics, EATCS Monographs on TCS, Springer, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"17_CR7","unstructured":"Y. Feng, H. Lin and C.S.Tang, A proof system for temporal logic programs, Computer Research and Development (in Chinese), 22(10), 1985."},{"key":"17_CR8","unstructured":"Y. Feng, X. Zhao and D. Guo, Modelling and verification of concurrent systems, J. of Computers, 13(1) (in Chinese), 1990."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, Communicating sequential processes, Comm. ACM 21(3), 1978.","DOI":"10.1145\/359576.359585"},{"key":"17_CR10","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0304-3975(84)90087-2","volume":"33","author":"S. Kaplan","year":"1984","unstructured":"S. Kaplan, Conditional rewrite rules, TCS 33, 175\u2013193, 1984.","journal-title":"TCS"},{"key":"17_CR11","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/0304-3975(89)90090-X","volume":"69","author":"S. Kaplan","year":"1989","unstructured":"S. Kaplan, Algebraic specification of concurrent systems, TCS 69, 69\u2013115, 1989.","journal-title":"TCS"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"H. Kreowski, Partial algebras flow from algebraic specifications, 14th ICALP proc., LNCS267, 521\u2013530, 1987.","DOI":"10.1007\/3-540-18088-5_45"},{"key":"17_CR13","unstructured":"B. Krieg-Br\u00fcckner, The PROSPECTRA methodology of program development, in J. Zalewski ed., Proc. IFIP\/IFAC Working Conf. on Hardware and Software for Real Time Process Control, 1988."},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"F. Kroeger, Temporal Logic of Programs, EATCS Monographs on TCS, Springer, 1987.","DOI":"10.1007\/978-3-642-71549-5"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"L. Lamport, While waiting for the millennium: formal specification and verification of concurrent systems now, in F. Vogt ed., Proc. Concurrency 88, LNCS 335, Springer, 1988.","DOI":"10.1007\/3-540-50403-6_27"},{"key":"17_CR16","series-title":"Tech. Report","volume-title":"Compositionality through an operational semantics of contexts","author":"K. Larsen","year":"1989","unstructured":"K. Larsen and L. Xinxin, Compositionality through an operational semantics of contexts. Tech. Report R89-13, Alborg Univ. Center, Denmark, 1989."},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"R. Milner, Calculus of Communicating Systems, LNCS 92, Springer, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"R. Milner, Lecture on a calculus for communicating systems, Seminar on Concurrency, Carnegie Mellon Univ., LNCS 197, Springer, 1984.","DOI":"10.1007\/3-540-15670-4_10"},{"key":"17_CR19","unstructured":"A. Pnueli, Linear and branching structures in the semantics of logics and reactive systems, in Proc. 12th ICALP, LNCS 194, Springer, 1985."},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"A. Sernadas, J. Fiadeiro, C. Sernadas and H.Ehrich, Abstract object types: a temporal perspective, in B. Banieqbal, H. Barringer and A. Pnueli eds, Proc. Temporal logic in specifications, LNCS 398, Springer, 1989.","DOI":"10.1007\/3-540-51803-7_33"},{"key":"17_CR21","unstructured":"C. Zhou and C.A.R. Hoare, Partial corectness of communicating processes, in Proc. 2nd Intl. Conf. on Distributed Comput. Systems, Paris, 1981."}],"container-title":["Lecture Notes in Computer Science","CONCUR '90 Theories of Concurrency: Unification and Extension"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0039062.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:24:24Z","timestamp":1607552664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0039062"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540530487"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0039062","relation":{},"subject":[]}}