{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:48:12Z","timestamp":1754488092318},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551799"},{"type":"electronic","value":"9783540467632"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55179-4_31","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:51:55Z","timestamp":1330249915000},"page":"322-331","source":"Crossref","is-referenced-by-count":7,"title":["Partial-order model checking: A guide for the perplexed"],"prefix":"10.1007","author":[{"given":"David K.","family":"Probst","sequence":"first","affiliation":[]},{"given":"Hon F.","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"issue":"No.4","key":"31_CR1","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/BF01660033","volume":"1","author":"D. L. Black","year":"1986","unstructured":"D.L. Black, \u201cOn the existence of delay-insensitive fair arbiters\u201d, Distributed Computing, Vol. 1, No. 4, October 1986, pp. 205\u2013225.","journal-title":"Distributed Computing"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"D.L. Dill, \u201cTrace theory for automatic hierarchical verification of speed-independent circuits\u201d, Ph. D. Thesis, Department of Computer Science, Carnegie Mellon University, Report CMU-CS-88-119, February 1988. Also MIT Press, 1989.","DOI":"10.7551\/mitpress\/6874.001.0001"},{"issue":"No.4","key":"31_CR3","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/BF01660034","volume":"1","author":"A. J. Martin","year":"1986","unstructured":"A.J. Martin, \u201cCompiling communicating processes into delay-insensitive VLSI circuits\u201d, Distributed Computing, Vol. 1, No. 4, October 1986, pp. 226\u2013234.","journal-title":"Distributed Computing"},{"issue":"No.1","key":"31_CR4","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. R. Pratt","year":"1986","unstructured":"V.R. Pratt, \u201cModelling concurrency with partial orders\u201d, Int. J. of Parallel Prog., Vol. 15, No. 1, February 1986, pp. 33\u201371.","journal-title":"Int. J. of Parallel Prog."},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"V.R. Pratt, \u201cModelling concurrency with geometry\u201d, Proc. 18th Ann. ACM Symposium on Principles of Programming Languages, January 1991, pp. 311\u2013322.","DOI":"10.1145\/99583.99625"},{"issue":"No.6","key":"31_CR6","doi-asserted-by":"crossref","first-page":"710","DOI":"10.1109\/12.2209","volume":"C-37","author":"D. K. Probst","year":"1988","unstructured":"D.K. Probst and H.F. Li, \u201cAbstract specification of synchronous data types for VLSI and proving the correctness of systolic network implementations\u201d, IEEE Trans. on Computers, Vol. C-37, No. 6, June 1988, pp. 710\u2013720.","journal-title":"IEEE Trans. on Computers"},{"key":"31_CR7","unstructured":"D.K. Probst and H.F. Li, \u201cAbstract specification, composition and proof of correctness of delay-insensitive circuits and systems\u201d, Technical Report, Department of Computer Science, Concordia University, CS-VLSI-88-2, April 1988 (Revised March 1989)."},{"key":"31_CR8","unstructured":"D.K. Probst and H.F. Li, \u201cPartial-order model checking of delay-insensitive systems\u201d. In R. Hobson et al. (Eds.), Canadian Conference on VLSI 1989, Proceedings, Vancouver, BC, October 1989, pp. 73\u201380."},{"key":"31_CR9","doi-asserted-by":"crossref","unstructured":"D.K. Probst and H.F. Li, \u201cUsing partial-order semantics to avoid the state explosion problem in asynchronous systems\u201d. In E.M. Clarke and R.P. Kurshan, (Eds.), Workshop on Computer-Aided Verification '90, June 1990, DIMACS Series, Vol. 3, 1991, pp. 15\u201324. Also Lect. Notes in Comput. Sci., Springer Verlag, forthcoming.","DOI":"10.1090\/dimacs\/003\/03"},{"key":"31_CR10","first-page":"324","volume-title":"Semantics for Concurrency, Leicester 1990","author":"D. K. Probst","year":"1990","unstructured":"D.K. Probst and H.F. Li, \u201cModelling reactive processes using partial orders\u201d. In M. Kwiatkowska et al. (Eds.), Semantics for Concurrency, Leicester 1990, Leicester, UK, July 1990, Workshops in Computing, Springer Verlag, 1990, pp. 324\u2013343."},{"key":"31_CR11","unstructured":"D.K. Probst and L.C. Jensen, \u201cControlling state explosion during automatic verification of delay-insensitive and delay-constrained VLSI systems using the POM verifier\u201d. In S. Whitaker, (Ed.), Third NASA Symposium on VLSI Design, Moscow, ID, October 1991, Proceedings, pp. 8.2.1\u20138.2.8."},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"J.v.d. Snepscheut, \u201cTrace theory and VLSI design\u201d, Lect. Notes in Comput. Sci. 200, Springer Verlag, 1985.","DOI":"10.1007\/BFb0031414"},{"issue":"No.4","key":"31_CR13","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF01660032","volume":"1","author":"J. T. Udding","year":"1986","unstructured":"J.T. Udding, \u201cA formal model for defining and classifying delay-insensitive circuits\u201d, Distributed Computing, Vol. 1, No. 4, October 1986, pp. 197\u2013204.","journal-title":"Distributed Computing"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55179-4_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:59Z","timestamp":1605646679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55179-4_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551799","9783540467632"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-55179-4_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}