{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T01:19:48Z","timestamp":1648603188145},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1988,12,1]],"date-time":"1988-12-01T00:00:00Z","timestamp":596937600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib Comput"],"published-print":{"date-parts":[[1988,12]]},"DOI":"10.1007\/bf01872845","type":"journal-article","created":{"date-parts":[[2005,7,2]],"date-time":"2005-07-02T11:26:11Z","timestamp":1120303571000},"page":"190-200","source":"Crossref","is-referenced-by-count":0,"title":["Semantics and verification of monitors and systems of monitors and processes"],"prefix":"10.1007","volume":"2","author":[{"given":"Stein","family":"Gjessing","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"BF01872845_CR1","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1145\/357103.357110","volume":"2","author":"KR Apt","year":"1980","unstructured":"Apt KR, Francez N, de Roever WP (1980) A proof system for communicating sequential processes. ACM Trans Program Lang Syst 2(3):359\u2013385","journal-title":"ACM Trans Program Lang Syst"},{"issue":"4","key":"BF01872845_CR2","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1145\/357146.357150","volume":"3","author":"KR Apt","year":"1981","unstructured":"Apt KR (1981) Ten years of Hoare's logic: a survey \u2014 part I. ACM Trans Program Lang Syst 3(4):431\u2013483","journal-title":"ACM Trans Program Lang Syst"},{"issue":"1","key":"BF01872845_CR3","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1137\/0207005","volume":"7","author":"SA Cook","year":"1978","unstructured":"Cook SA (1978) Soudness and completeness of an axiom system for program verification. SIAM J Comput 7(1):70\u201390","journal-title":"SIAM J Comput"},{"key":"BF01872845_CR4","volume-title":"Le fondements de la programmation","author":"O-J Dahl","year":"1977","unstructured":"Dahl O-J (1977) Can program proving be made practical? In: Amirchahy M, N\u00e9el D (eds) Le fondements de la programmation. INRIA, Le Chesnay, France"},{"key":"BF01872845_CR5","unstructured":"Gjessing S (1983) Verification of monitors based on a partial correctness semantics. Res Rep No 77, Institute of Informatics, University of Oslo"},{"key":"BF01872845_CR6","unstructured":"Gjessing S (1987) Verification of systems of monitors and processes \u2014 two examples. Res Rep No 110, Institute of Informatics, University of Oslo"},{"issue":"10","key":"BF01872845_CR7","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare CAR (1969) An axiomatic basis for computer programming. Commun ACM, 12(10):576\u2013580","journal-title":"Commun ACM"},{"key":"BF01872845_CR8","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"CAR Hoare","year":"1972","unstructured":"Hoare CAR (1972) Proof of correctness of data representations. Acta Inf 1:271\u2013281","journal-title":"Acta Inf"},{"issue":"10","key":"BF01872845_CR9","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"CAR Hoare","year":"1974","unstructured":"Hoare CAR (1974) Monitors: an operating system structuring consept. Commun ACM 17(10):549\u2013557","journal-title":"Commun ACM"},{"key":"BF01872845_CR10","volume-title":"Communicating sequential processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare CAR (1985) Communicating sequential processes. Prentice Hall International, UK"},{"issue":"5","key":"BF01872845_CR11","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1145\/360051.360079","volume":"19","author":"JH Howard","year":"1976","unstructured":"Howard JH (1976) Proving monitors. Commun ACM 19(5):273\u2013279","journal-title":"Commun ACM"},{"key":"BF01872845_CR12","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BF00289062","volume":"14","author":"L Lamport","year":"1980","unstructured":"Lamport L (1980): The \u201cHoare logic\u201d of concurrent programs. Acta Inf 14:21\u201337","journal-title":"Acta Inf"},{"key":"BF01872845_CR13","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S Owicki","year":"1976","unstructured":"Owicki S, Gries D (1976) An axiomatic proof technique for parallel programs. Acta Inf 6:319\u2013340","journal-title":"Acta Inf"},{"issue":"3","key":"BF01872845_CR14","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1145\/357172.357178","volume":"4","author":"S Owicki","year":"1982","unstructured":"Owicki S, Lamport L (1982) Proving liveness properties of concurrent programs. ACM Trans Program Lang Syst 4(3):455\u2013495","journal-title":"ACM Trans Program Lang Syst"},{"issue":"4","key":"BF01872845_CR15","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1145\/1780.1805","volume":"6","author":"N Soundararajan","year":"1984","unstructured":"Soundararajan N (1984) Axiomatic semantics of communicating sequential processes. ACM Trans Program Lang Syst 6(4):647\u2013662","journal-title":"ACM Trans Program Lang Syst"},{"key":"BF01872845_CR16","unstructured":"Soundararajan N, Dahl O-J (1982) Partial correctness semantics of communicating sequential processes. Res Rep No 66, Institute of Informatics, University of Oslo"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01872845.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01872845\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01872845","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T14:41:23Z","timestamp":1557499283000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01872845"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,12]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1988,12]]}},"alternative-id":["BF01872845"],"URL":"https:\/\/doi.org\/10.1007\/bf01872845","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,12]]}}}