{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T08:47:31Z","timestamp":1748335651093},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556138"},{"type":"electronic","value":"9783540472605"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55613-3_9","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:27:53Z","timestamp":1330252073000},"page":"177-193","source":"Crossref","is-referenced-by-count":3,"title":["Scheduling predicates"],"prefix":"10.1007","author":[{"given":"Ciaran","family":"McHale","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bridget","family":"Walsh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Se\u00e1n","family":"Baker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexis","family":"Donnelly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"9_CR1","unstructured":"The Programming Language Ada Reference Manual. Published in: Lecture Notes in Computer Science, Vol 155, Springer-Verlag, 1983."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Sten Andler. Predicate Path Expressions. In Sixth Annual ACM Symposium on Principles of Programming Languages, pages 226\u2013236, San Antonio, Texas, 1979.","DOI":"10.1145\/567752.567774"},{"key":"9_CR3","unstructured":"Fran\u00e7oise Andr\u00e9, Daniel Herman, and Jean-Pierre Verjus. Synchronisation of Parallel Programs. Studies in Computer Science. North Oxford Academic, 1985. Original French language edition (Synchronisation de Programmes Parall\u00e8les, Dunod) \u00a9BORDAS 1983."},{"issue":"4","key":"9_CR4","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1145\/357146.357149","volume":"3","author":"Gregory R. R. Andrews","year":"1981","unstructured":"Gregory R. Andrews. Synchronising Resources. ACM Transactions on Programming Languages and Systems, 3(4):405\u2013430, October 1981.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR5","volume-title":"PhD thesis","author":"C. Atkinson","year":"1990","unstructured":"Colin Atkinson. An Object-Oriented Language for Software Reuse and Distribution. PhD thesis, Department of Computing, Imperial College of Science, Technology and Medicine, University of London, London SW7 2BZ, February 1990."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Toby Bloom. Evaluating Synchronisation Mechanisms. In Seventh International ACM Symposium on Operating System Principles, pages 24\u201332, 1979.","DOI":"10.1145\/800215.806566"},{"issue":"11","key":"9_CR7","doi-asserted-by":"crossref","first-page":"934","DOI":"10.1145\/359642.359651","volume":"21","author":"B. Hansen Per","year":"1978","unstructured":"Per Brinch Hansen. Distributed Processes: A Concurrent Programming Concept. Communications of the ACM, 21(11):934\u2013941, November 1978.","journal-title":"Communications of the ACM"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"R. H. Campbell and A. N. Habermann. The Specification Of Process Synchroni-sation by Path Expressions. In Lecture Notes in Computer Science, No. 16, pages 89\u2013102. Springer Verlag, 1973.","DOI":"10.1007\/BFb0029355"},{"key":"9_CR9","unstructured":"Denis Caromel. Concurrency: An Object-Oriented Approach. In Jean B\u00e9zivin, Bertrand Meyer, and Jean-Marc Nerson, editors, TOOLS 2 (Technology of Object-Oriented Languages and Systems), pages 183\u2013197. Angkor, 1990."},{"issue":"4","key":"9_CR10","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/67387.67414","volume":"24","author":"D. Decouchant","year":"1989","unstructured":"D. Decouchant, S. Krakowiak, M. Meysembourg, M. Riveill, and X. Rousset de Pina. A Synchronisation Mechanism for Typed Objects in a Distributed System. Presented at the workshop on\u201cObject-Based Concurrent Programming\u201d, OOPSLA '88, San Diego, September 1988. Abstract in ACM Sigplan Notices, 24(4):105\u2013107, April 1989.","journal-title":"Abstract in ACM Sigplan Notices"},{"key":"9_CR11","unstructured":"D. Decouchant, P. le Dot, and M. Riveill. A Synchronisation Mechanism for an Object Oriented Distributed System. Bull-IMAG, Z. I. de Mayencin \u2014 2, rue Vignate, 38610 Gi\u00e8res \u2014 France, February 1990."},{"key":"9_CR12","unstructured":"Stefano Genolini, Andrea Di Maio, Cinzia Cardigno, Stephen Goldsack, and Colin Atkinson. Specifying Synchronisation Constraints in a Concurrent Object-Oriented Language. In Technology of O-O Languages and Systems (TOOLS '89)."},{"key":"9_CR13","unstructured":"J. E. Grass and R. H. Campbell. Mediators: A Synchronisation Mechanism. In Proceedings of the Conference on Distributed Computer Systems, pages 468\u2013477. IEEE, September 1986."},{"issue":"10","key":"9_CR14","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C. A. R. R. Hoare","year":"1974","unstructured":"C.A.R. Hoare. Monitors: An Operating System Structuring Concept. Communications of the ACM, 17(10):549\u2013557, October 1974.","journal-title":"Communications of the ACM"},{"issue":"8","key":"9_CR15","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Communications of the ACM, 21(8):666\u2013677, August 1978.","journal-title":"Communications of the ACM"},{"key":"9_CR16","volume-title":"B.A. project report","author":"C. McHale","year":"1989","unstructured":"Ciaran McHale. Pasm: A Language for Teaching Concurrency. B.A. project report, Department of Computer Science, Trinity College, Dublin 2, Ireland, April 1989."},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Christian Neusius. Synchronising Actions. In Pierre America, editor, ECOOP '91, pages 118\u2013132, Geneva, Switzerland, July 1991. Springer-Verlag. Available as Volume 512 of Lecture Notes in Computer Science.","DOI":"10.1007\/BFb0057018"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"O. M. Nierstrasz. Active Objects in Hybrid. In Norman Meyrowitz, editor, 00P-SLA '87 Proceedings. ACM. Special issue of ACM SIGPLAN Notices, 22(12):243\u2013253.","DOI":"10.1145\/38765.38829"},{"issue":"2","key":"9_CR19","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1145\/359060.359076","volume":"22","author":"David P. P. Reed","year":"1979","unstructured":"David P. Reed and Rajendra K. Kanodia. Synchronisation with Eventcounts and Sequencers. Communications of the ACM, 22(2):115\u2013123, February 1979.","journal-title":"Communications of the ACM"},{"key":"9_CR20","volume-title":"Research Report YALEU\/DCS\/RR-794","author":"S. E. Zenith","year":"1990","unstructured":"Steven Ericsson Zenith. Linda coordination language: subsystem kernel architecture (on transputers). Research Report YALEU\/DCS\/RR-794, Yale University, Departmemt of Computer Science, New Haven, Connecticut. USA., 29 May 1990."}],"container-title":["Lecture Notes in Computer Science","Object-Based Concurrent Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55613-3_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:00:48Z","timestamp":1605646848000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55613-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556138","9783540472605"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-55613-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}