{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:39Z","timestamp":1762458999492},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616047"},{"type":"electronic","value":"9783540706250"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61604-7_47","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:03:37Z","timestamp":1330293817000},"page":"50-65","source":"Crossref","is-referenced-by-count":31,"title":["Symbolic transition graph with assignment"],"prefix":"10.1007","author":[{"given":"Huimin","family":"Lin","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"unstructured":"R. Cleaveland, J. Parrow, and B. Steffen. A semantics based verification tool for finite state systems. In Proceedings of the 9 th International Symposium on Protocol Specification, Testing and Verification, North Holland, 1989.","key":"4_CR1"},{"doi-asserted-by":"crossref","unstructured":"R. Cleaveland and J. Riely. Testing-based abstractions for valuepassing systems. In CONCUR'94, number 836 in Lecture Notes in Computer Science, pages 417\u2013432. Springer-Verlag, 1994.","key":"4_CR2","DOI":"10.1007\/978-3-540-48654-1_31"},{"doi-asserted-by":"crossref","unstructured":"W. Damn, H. Hungar, and O. Grumberg. What if model checking must be truly symbolic? In Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems, 1995. Aarhus, Denmark.","key":"4_CR3","DOI":"10.1007\/3-540-60385-9_1"},{"unstructured":"J. Godskesen, K. Larsen, and M. Zeeberg. Tav user manual. Report R89-19, Aalborg University, 1989.","key":"4_CR4"},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1007\/BF01642508","volume":"3","author":"M. Hennessy","year":"1993","unstructured":"M. Hennessy and A. Ingolfsdottir. Communicating processes with value-passing and assignment. Formal Aspects of Computing, 3:346\u2013366, 1993.","journal-title":"Formal Aspects of Computing"},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0304-3975(94)00172-F","volume":"138","author":"M. Hennessy","year":"1995","unstructured":"M. Hennessy and H. Lin. Symbolic bisimulations. Theoretical Computer Science, 138:353\u2013389, 1995.","journal-title":"Theoretical Computer Science"},{"unstructured":"B. Jonsson and J. Parrow. Deciding bisimulation equivalences for a class of non-finite-state programs. Information and Computation, 1992. to appear. Also available as SICS research Report R-89\/8908.","key":"4_CR7"},{"doi-asserted-by":"crossref","unstructured":"K.G. Larsen. Efficient local correctness checking. In Computer Aided Verification, Lecture Notes in Computer Science. Springer-Verlag, 1992.","key":"4_CR8","DOI":"10.1007\/3-540-55179-4"},{"unstructured":"X. Liu. Specification and Decomposition in Concurrency. Ph.d. thesis, Aalborg University, 1992.","key":"4_CR9"},{"unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989.","key":"4_CR10"},{"unstructured":"M.Z. Schreiber. Value-passing Process Calculi as a Formal Method. Ph.D. thesis, Imperial College, 1994.","key":"4_CR11"},{"unstructured":"R. De Simone and D. Vergamimi. Aboard auto. Report RT111, INRIA, 1989.","key":"4_CR12"},{"doi-asserted-by":"crossref","unstructured":"A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5, 1955.","key":"4_CR13","DOI":"10.2140\/pjm.1955.5.285"}],"container-title":["Lecture Notes in Computer Science","CONCUR '96: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61604-7_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:08:27Z","timestamp":1605647307000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61604-7_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616047","9783540706250"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-61604-7_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}