{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T09:40:02Z","timestamp":1759138802704,"version":"3.44.0"},"reference-count":11,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[1983,10,1]],"date-time":"1983-10-01T00:00:00Z","timestamp":433814400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1983,10,1]],"date-time":"1983-10-01T00:00:00Z","timestamp":433814400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Integration"],"published-print":{"date-parts":[[1983,10]]},"DOI":"10.1016\/s0167-9260(83)80017-0","type":"journal-article","created":{"date-parts":[[2005,1,5]],"date-time":"2005-01-05T07:28:33Z","timestamp":1104910113000},"page":"121-160","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":27,"title":["Circal: A calculus for circuit description"],"prefix":"10.1016","volume":"1","author":[{"given":"George J.","family":"Milne","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0167-9260(83)80017-0_bib1","series-title":"Proc. VLSI '81","article-title":"A very simple model of sequential behaviour of nMOS","author":"Gordon","year":"1981"},{"issue":"8","key":"10.1016\/S0167-9260(83)80017-0_bib2","doi-asserted-by":"crossref","DOI":"10.1145\/359576.359585","article-title":"Communicating sequential processes","volume":"21","author":"Hoare","year":"1978","journal-title":"Comm. ACM"},{"year":"1980","author":"Mead","key":"10.1016\/S0167-9260(83)80017-0_bib3"},{"issue":"2","key":"10.1016\/S0167-9260(83)80017-0_bib4","doi-asserted-by":"crossref","DOI":"10.1145\/322123.322134","article-title":"Concurrent processes and their syntax","volume":"26","author":"Milne","year":"1979","journal-title":"J. ACM"},{"key":"10.1016\/S0167-9260(83)80017-0_bib5","doi-asserted-by":"crossref","DOI":"10.21236\/ADA504936","article-title":"The representation of communication and concurrency","author":"Milne","year":"1980"},{"key":"10.1016\/S0167-9260(83)80017-0_bib6","series-title":"Proc. 3rd Internat. Conf. on Distributed Systems","article-title":"Abstraction and nondeterminism in concurrent systems","author":"Milne","year":"1982"},{"key":"10.1016\/S0167-9260(83)80017-0_bib7","series-title":"Proc. 6th Internat. Symp. on Computer Hardware Description Languages and their Applications","article-title":"The correctness of a simple silicon compiler","author":"Milne","year":"1983"},{"article-title":"A formal basis for the analysis of circuit timing","year":"1983","author":"Milne","key":"10.1016\/S0167-9260(83)80017-0_bib8"},{"key":"10.1016\/S0167-9260(83)80017-0_bib9","article-title":"A calculus of communicating systems","volume":"92","author":"Milner","year":"1980"},{"key":"10.1016\/S0167-9260(83)80017-0_bib10","article-title":"Introduction to general net theory","volume":"84","author":"Petri","year":"1980"},{"key":"10.1016\/S0167-9260(83)80017-0_bib11","series-title":"Proc. Symp. on Computers and Automata","article-title":"Towards a mathematical semantics for computer languages","author":"Scott","year":"1971"}],"container-title":["Integration"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167926083800170?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167926083800170?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T09:12:02Z","timestamp":1759137122000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167926083800170"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,10]]},"references-count":11,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1983,10]]}},"alternative-id":["S0167926083800170"],"URL":"https:\/\/doi.org\/10.1016\/s0167-9260(83)80017-0","relation":{},"ISSN":["0167-9260"],"issn-type":[{"type":"print","value":"0167-9260"}],"subject":[],"published":{"date-parts":[[1983,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Circal: A calculus for circuit description","name":"articletitle","label":"Article Title"},{"value":"Integration","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S0167-9260(83)80017-0","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1983 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}