{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:46:46Z","timestamp":1762458406447},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1984,12,1]],"date-time":"1984-12-01T00:00:00Z","timestamp":470707200000},"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":[[1984,12]]},"DOI":"10.1007\/bf00271640","type":"journal-article","created":{"date-parts":[[2004,9,30]],"date-time":"2004-09-30T10:51:48Z","timestamp":1096541508000},"page":"417-441","source":"Crossref","is-referenced-by-count":31,"title":["A fair calculus of communicating systems"],"prefix":"10.1007","volume":"21","author":[{"given":"Gerardo","family":"Costa","sequence":"first","affiliation":[]},{"given":"Colin","family":"Stirling","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Apt, K., Olderog, E.: Proof rules and transformations dealing with fairness. Sci. Comput. Progr. pp. 65?100 (1983)","DOI":"10.1016\/0167-6423(83)90004-7"},{"key":"CR2","first-page":"245","volume":"176","author":"G. Costa","year":"1984","unstructured":"Costa, G., Stirling, C.: Weak and strong fairness in CCS. Procs. of 11th Symposium on Mathematical Foundations of Computer Science, Prague. LNCS 176, 245?254 (1984)","journal-title":"LNCS"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Gabbay, D., Pnueli, A., Shelah, S., Stavi, J.: On the temporal analysis of fairness. Proc. 7th ACM POPL, Las Vegas (1980)","DOI":"10.1145\/567446.567462"},{"key":"CR4","unstructured":"Hennessy, M.: Axiomatising finite delay operators. Technical Report CSR-124-82. Dept. of Computer Science, Edinburgh University (1982)"},{"key":"CR5","first-page":"299","volume":"85","author":"M. Hennessy","year":"1980","unstructured":"Hennessy, M., Milner, R.: On observing nondeterminism and concurrency. LNCS 85, pp. 299?309. (To appear in expanded form in JACM.) (1980)","journal-title":"LNCS"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Lehmann, D., Pnueli, A., Stavi, J.: Impartiality, justice and fairness: the ethics of concurrent termination. LNCS 115, pp. 264?77, Springer-Verlag (1981)","DOI":"10.1007\/3-540-10843-2_22"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Milner, R.: A Calculus of Communicating Systems. LNCS 92, Springer-Verlag (1980)","DOI":"10.1007\/3-540-10235-3"},{"key":"CR8","unstructured":"Milner, R.: A finite delay operator in synchronous CCS. Technical Report CSR-116-82. Dept. of Computer Science, Edinburgh University (1982)"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Milner, R.: Calculi for synchrony and asynchrony. Theoretical Computer Science pp. 267?310 (1983)","DOI":"10.1016\/0304-3975(83)90114-7"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Owicki, S., Lamport, L.: Proving liveness properties of concurrent programs. ACM Transactions on Programming Languages and Systems pp. 455?495 (1982)","DOI":"10.1145\/357172.357178"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Park, D.: On the semantics of fair parallelism. LNCS 86, pp. 504?26, Springer-Verlag (1980)","DOI":"10.1007\/3-540-10007-5_47"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Plotkin, G.: A powerdomain for countable non-determinism. LNCS 140, pp. 418?28, Springer-Verlag (1982)","DOI":"10.1007\/BFb0012788"},{"key":"CR13","unstructured":"Stirling, C.: A proof theoretic characterization of observational equivalence. Procs. of FCT-TCS, Bangalore (1983)"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00271640.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00271640\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00271640","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:24:47Z","timestamp":1585898687000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00271640"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,12]]},"references-count":13,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1984,12]]}},"alternative-id":["BF00271640"],"URL":"https:\/\/doi.org\/10.1007\/bf00271640","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,12]]}}}