{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:49:08Z","timestamp":1767340148019},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1986,9,1]],"date-time":"1986-09-01T00:00:00Z","timestamp":525916800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1986,9]]},"DOI":"10.1007\/bf00288467","type":"journal-article","created":{"date-parts":[[2004,10,4]],"date-time":"2004-10-04T12:43:28Z","timestamp":1096893808000},"page":"507-527","source":"Crossref","is-referenced-by-count":13,"title":["A logic for the specification and proof of regular controllable processes of CCS"],"prefix":"10.1007","volume":"23","author":[{"given":"Susanne","family":"Graf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Bergstra, J.A., Klop, J.W.: Algebra of Communicating Processes. Centrum of Wiskunde en Informatica. Internal report CS-R8421"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. Brookes","year":"1984","unstructured":"Brookes, S., Hoare, T., Roscoe, A.W.: A Theory of Communicating Sequential Processes. J. Assoc. Comput. Machinery 31, 560?599 (1984)","journal-title":"J. Assoc. Comput. Machinery"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Brookes, S.D., Rounds, W.C.: Behavioural equivalence relations induced by programming logics. Proceedings 10th ICALP 83, LNCS 154","DOI":"10.1007\/BFb0036900"},{"key":"CR4","volume-title":"Th\u00e8se 3\u00e8me cycle","author":"S. Graf","year":"1984","unstructured":"Graf, S.: Logiques du temps arborescent pour la sp\u00e9cification et la preuve de programmes. Th\u00e8se 3\u00e8me cycle, IMAG, Grenoble, February 1984"},{"key":"CR5","unstructured":"Graf, S., Sifakis, J.: A modal characterization of finite terms of CCS, pp. 222?234, ICALP 84, LNCS 172"},{"key":"CR6","unstructured":"Graf, S., Sifakis, J.: A Logic for the Description of Non-deterministic Programs and their Properties. Report IMAG RR511, Grenoble, February 1985"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic Laws for Nondeterminism and Concurrency. J. Assoc. Comput. Machinery 32, 137?161 (1985)","journal-title":"J. Assoc. Comput. Machinery"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Kozen, D.: Results on the Propositional ?-Calculus. ICALP 82, LNCS 140, pp. 348?359","DOI":"10.1007\/BFb0012782"},{"key":"CR9","unstructured":"Milner, R.: A Calculus for Communicating Systems, LNCS 92"},{"key":"CR10","volume-title":"A Proof Theoretic Characterization of Observational Equivalence","author":"C. Stirling","year":"1983","unstructured":"Stirling, C.: A Proof Theoretic Characterization of Observational Equivalence. FCT-TCS Bangalore 1983"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00288467.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00288467\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00288467","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:56:25Z","timestamp":1585900585000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00288467"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,9]]},"references-count":10,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1986,9]]}},"alternative-id":["BF00288467"],"URL":"https:\/\/doi.org\/10.1007\/bf00288467","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,9]]}}}