{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T21:32:30Z","timestamp":1672263150840},"reference-count":21,"publisher":"Elsevier BV","issue":"1-5","license":[{"start":{"date-parts":[[1988,8,1]],"date-time":"1988-08-01T00:00:00Z","timestamp":586396800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Microprocessing and Microprogramming"],"published-print":{"date-parts":[[1988,8]]},"DOI":"10.1016\/0165-6074(88)90154-8","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T17:14:48Z","timestamp":1062609288000},"page":"809-818","source":"Crossref","is-referenced-by-count":2,"title":["PC-Rimst - a tool for validating concurrent program designs"],"prefix":"10.1016","volume":"24","author":[{"given":"Antti","family":"Valmari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0165-6074(88)90154-8_BIB1","series-title":"Proceedings of the Sixth European Workshop on Applications and Theory of Petri Nets","first-page":"227","article-title":"A Tool for Analyzing Parallel Systems in the L Environment","author":"Behm","year":"1985"},{"key":"10.1016\/0165-6074(88)90154-8_BIB2_1","first-page":"1","article-title":"Formal Specification and Documentation of Microprocessor Instruction Sets","volume":"21","author":"Bowen","year":"1987"},{"key":"10.1016\/0165-6074(88)90154-8_BIB2_2","series-title":"Proceedings of the Euromicro '87","first-page":"223","year":"1987"},{"key":"10.1016\/0165-6074(88)90154-8_BIB3","first-page":"143","article-title":"The Specification of Complex Systems","author":"Cohen","year":"1986"},{"key":"10.1016\/0165-6074(88)90154-8_BIB4","first-page":"24","article-title":"Complexity of Place\/Transition Nets","author":"Jantzen","year":"1986","journal-title":"Advanced Course on Petri Nets, Bad Honnef"},{"key":"10.1016\/0165-6074(88)90154-8_BIB5","first-page":"366","article-title":"The Science of Programming","author":"Gries","year":"1981"},{"key":"10.1016\/0165-6074(88)90154-8_BIB6","series-title":"Proceedings of the 7th IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification","first-page":"7","article-title":"On Limits and Possibilities of Automated Protocol Analysis","author":"Holzmann","year":"1987"},{"key":"10.1016\/0165-6074(88)90154-8_BIB7","first-page":"544","article-title":"Principles of Programming Languages: Design, Evaluation and Implementation","author":"MacLennan","year":"1983"},{"key":"10.1016\/0165-6074(88)90154-8_BIB8","unstructured":"May, D. and Shepherd, D., Formal Verification of the IMS T800 Microprocessor, manuscript, 11 p."},{"key":"10.1016\/0165-6074(88)90154-8_BIB9","series-title":"Current Trends in Concurrency","first-page":"510","article-title":"Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends","volume":"vol 224","author":"Pnueli","year":"1986"},{"key":"10.1016\/0165-6074(88)90154-8_BIB10","series-title":"Proceedings of the International Conference on Software Engineering for Real Time Systems","first-page":"29","article-title":"Enhancing Yourdon Extended SA\/SD-Method for Embedded System Design","author":"Pulli","year":"1987"},{"key":"10.1016\/0165-6074(88)90154-8_BIB11","first-page":"161","article-title":"Petri Nets, an Introduction","author":"Reisig","year":"1985"},{"key":"10.1016\/0165-6074(88)90154-8_BIB12","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0020-0190(85)90033-X","article-title":"Exposure to Deadlock for Communicating Processes is Hard to Detect","volume":"21","author":"R\u00e4uchle","year":"1985","journal-title":"Information Processing Letters"},{"key":"10.1016\/0165-6074(88)90154-8_BIB13","first-page":"122","article-title":"A Constructive Method for the Architectural Design and Correctness Verification of Real-Time Programs","author":"Saukkonen","year":"1983","journal-title":"Acta Polytechnica Scandinavica, Mathematics and Computer Science Series No. 40"},{"key":"10.1016\/0165-6074(88)90154-8_BIB14","article-title":"Concurrency, Correctness, Proof and Undecidability in SDL-like Systems","author":"Shields","year":"1982"},{"key":"10.1016\/0165-6074(88)90154-8_BIB15","series-title":"Ninth European Workshop on Theory and Applications of Petri Nets","first-page":"18","article-title":"Error Detection by Reduced Reachability Graph Generation","author":"Valmari","year":"1988"},{"key":"10.1016\/0165-6074(88)90154-8_BIB16_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0165-6074(87)90068-8","article-title":"Reachability Analysis - Based Validation of Embedded Systems","volume":"21","author":"Valmari","year":"1987","journal-title":"Microprocessing and Microprogramming"},{"key":"10.1016\/0165-6074(88)90154-8_BIB16_2","series-title":"Proceedings of the Euromicro '87","first-page":"393","year":"1987"},{"key":"10.1016\/0165-6074(88)90154-8_BIB17","first-page":"13","article-title":"Verification of a Communication Protocol by Reachability Analysis","author":"Valmari","year":"1988"},{"key":"10.1016\/0165-6074(88)90154-8_BIB18","series-title":"Proceedings of the Eighth European Workshop on Application and Theory of Petri Nets","first-page":"349","article-title":"A Graph Model for Efficient Reachability Analysis of Description Languages","author":"Valmari","year":"1987"},{"key":"10.1016\/0165-6074(88)90154-8_BIB19","volume":"vol 3","author":"Ward","year":"1986"}],"container-title":["Microprocessing and Microprogramming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607488901548?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607488901548?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T09:53:14Z","timestamp":1551088394000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0165607488901548"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,8]]},"references-count":21,"journal-issue":{"issue":"1-5","published-print":{"date-parts":[[1988,8]]}},"alternative-id":["0165607488901548"],"URL":"https:\/\/doi.org\/10.1016\/0165-6074(88)90154-8","relation":{},"ISSN":["0165-6074"],"issn-type":[{"value":"0165-6074","type":"print"}],"subject":[],"published":{"date-parts":[[1988,8]]}}}