{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:47Z","timestamp":1760202647544},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_10","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:50:22Z","timestamp":1330249822000},"page":"92-102","source":"Crossref","is-referenced-by-count":5,"title":["Integer programming in the analysis of concurrent systems"],"prefix":"10.1007","author":[{"given":"George S.","family":"Avrunin","sequence":"first","affiliation":[]},{"given":"Ugo A.","family":"Buy","sequence":"additional","affiliation":[]},{"given":"James C.","family":"Corbett","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/BF00289261","volume":"15","author":"T. Araki","year":"1981","unstructured":"T. Araki and N. Tokura. Flow languages equal recursively enumerable languages. Acta Inf., 15:209\u2013217, 1981.","journal-title":"Acta Inf."},{"key":"10_CR2","volume-title":"Technical Report 90-32","author":"G. S. Avrunin","year":"1990","unstructured":"G. S. Avrunin, U. Buy, and J. Corbett. Automatic generation of inequality systems for constrained expression analysis. Technical Report 90-32, Department of Computer and Information Science, University of Massachusetts, Amherst, 1990."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"G. S. Avrunin, U. A. Buy, J. C. Corbett, L. K. Dillon, and J. C. Wileden. Automated analysis of concurrent systems with the constrained expression toolset. IEEE Trans. Softw. Eng., November 1991, to appear.","DOI":"10.1109\/32.106975"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"G. S. Avrunin, U. A. Buy, J. C. Corbett, L. K. Dillon, and J. C. Wileden. Experiments with an improved constrained expression toolset. In Proceedings of the Symposium on Testing, Analysis, and Verification, Oct. 1991, to appear.","DOI":"10.1145\/120807.120823"},{"key":"10_CR5","unstructured":"G. S. Avrunin, J. C. Corbett, L. K. Dillon, and J. C. Wileden. Automated constrained expression analysis of real-time software. Submitted for publication. Available as Technical Report 90-117, Department of Computer and Information Science, University of Massachusetts, Dec. 1990."},{"issue":"2","key":"10_CR6","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1109\/TSE.1986.6312944","volume":"12","author":"G. S. Avrunin","year":"1986","unstructured":"G. S. Avrunin, L. K. Dillon, J. C. Wileden, and W. E. Riddle. Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems. IEEE Trans. Softw. Eng., 12(2):278\u2013292, 1986.","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR7","volume-title":"Constrained Expression Memorandum 90-1","author":"J. C. Corbett","year":"1990","unstructured":"J. C. Corbett. On selecting a form for inequality generation in the constrained expression toolset. Constrained Expression Memorandum 90-1, Department of Computer and Information Science, University of Massachusetts, Amherst, 1990."},{"key":"10_CR8","volume-title":"PhD thesis","author":"L. K. Dillon","year":"1984","unstructured":"L. K. Dillon. Analysis of Distributed Systems Using Constrained Expressions. PhD thesis, University of Massachusetts, Amherst, 1984."},{"issue":"3","key":"10_CR9","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1145\/44501.44502","volume":"10","author":"L. K. Dillon","year":"1988","unstructured":"L. K. Dillon, G. S. Avrunin, and J. C. Wileden. Constrained expressions: Toward broad applicability of analysis methods for distributed software systems. ACM Trans. Prog. Lang. Syst., 10(3):374\u2013402, July 1988.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"issue":"8","key":"10_CR10","doi-asserted-by":"crossref","first-page":"829","DOI":"10.1109\/32.57622","volume":"16","author":"G. M. Karam","year":"1990","unstructured":"G. M. Karam and R. J. Buhr. Starvation and critical race analyzers for Ada. IEEE Trans. Softw. Eng., 16(8):829\u2013843, 1990.","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"10_CR11","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1109\/32.21759","volume":"15","author":"T. Murata","year":"1989","unstructured":"T. Murata, B. Shenker, and S. M. Shatz. Detection of Ada static deadlocks using Petri net invariants. IEEE Trans. Softw. Eng., 15(3):314\u2013326, 1989.","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"M. A. Saunders. MINOS system manual. Technical Report SOL 77-31, Stanford University, Department of Operations Research, 1977.","DOI":"10.21236\/ADA051536"},{"key":"10_CR13","series-title":"number 3 in DIMACS Series in Discrete Mathematics and Theoretical Computer Science","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1090\/dimacs\/003\/04","volume-title":"Computer-Aided Verification '90","author":"A. Valmari","year":"1991","unstructured":"A. Valmari. A stubborn attack on state explosion. In E. M. Clarke and R. P. Kurshan, editors, Computer-Aided Verification '90, number 3 in DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 25\u201341, Providence, RI, 1991. American Mathematical Society."},{"key":"10_CR14","unstructured":"J. C. Wileden. Modelling Parallel Systems with Dynamic Structure. PhD thesis, University of Michigan, 1978."},{"key":"10_CR15","unstructured":"J. C. Wileden. Constrained expressions and the analysis of designs for dynamically-structured distributed systems. In Proceedings of the International Conference on Parallel Processing, pages 340\u2013344, August 1982."},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"M. Young, R. N. Taylor, K. Forester, and D. Brodbeck. Integrated concurrency analysis in a software development environment. In R. A. Kemmerer, editor, Proceedings of the ACM SIGSOFT '89 Third Symposium on Software Testing, Analysis and Verification, pages 200\u2013209, 1989. Appeared as Software Engineering Notes, 14(8).","DOI":"10.1145\/75308.75331"}],"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_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:52Z","timestamp":1605646672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55179-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551799","9783540467632"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-55179-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}