{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:40Z","timestamp":1725662860338},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540089346"},{"type":"electronic","value":"9783540357315"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08934-9_99","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:39:38Z","timestamp":1330169978000},"page":"560-583","source":"Crossref","is-referenced-by-count":1,"title":["Synchronic aspects of data types : Construction of a non-algorithmic solution of the Banker's problem"],"prefix":"10.1007","author":[{"given":"Piero R.","family":"Torrigiani","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"29_CR1","first-page":"349","volume":"3","author":"P. R. Torrigiani","year":"1977","unstructured":"P.R. Torrigiani, P.E. Lauer: An object oriented notation for path expressions, in AICA 77, Vol. 3, pp. 349, 371, Pisa, 1977.","journal-title":"AICA 77"},{"key":"29_CR2","unstructured":"P.E. Lauer, P.R. Torrigiani: Towards a system specification language based on paths and processes, Computing Laboratory, University of Newcastle upon Tyne, Technical Report Series, N., 1976."},{"key":"29_CR3","unstructured":"R. Campbell: Path Expressions: a techniques for specifying process synchronization, Ph.D. Thesis, University of Newcastle upon Tyne, August, 1976."},{"key":"29_CR4","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF00264564","volume":"5","author":"P. E. Lauer","year":"1975","unstructured":"P.E. Lauer, R. Campbell: Formal semantics for a class of high-level primitives for coordinating concurrent processes, acta informatica 5, 1975, pp. 247, 332.","journal-title":"acta informatica"},{"key":"29_CR5","unstructured":"R. Devillers: Non starving solutions for the Dining Philosophers problem, ASM\/30, Computing Laboratory, University of Newcastle upon Tyne, 1977."},{"key":"29_CR6","unstructured":"R. Devillers, P.E. Lauer: Some solutions for the Reader\/Writer problem, ASM\/31, Computing Laboratory, University of Newcastle upon Tyne, 1977."},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"P.E. Lauer, M.W. Shields: Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts, Workshop on Global description methods for synchronization in real-time applications, AFCET Paris, 1977.","DOI":"10.1145\/954587.954591"},{"key":"29_CR8","unstructured":"K. Lautenbach: Ein kombinatorischer Ansatz zur Beschreibung und Erreichung von Fairness in Scheduling-Problemen, in Applied Computer Science, Hanser-Verlag, M\u00fcnchen, 1977."},{"key":"29_CR9","unstructured":"C.A. Petri: Modelling as a communication discipline, in 3rd international Symposium on Modelling and Performance Evaluation of Computer Systems, Bonn, Oct. 1877."},{"key":"29_CR10","unstructured":"R. Devillers, P.E. Lauer: A general mechanism for the local control of starvation: application to the dining philosophers and to the reader\/writer problem, ASM\/32, Computing Laboratory, University of Newcastle upon Tyne, 1977."},{"key":"29_CR11","unstructured":"A. Silberschatz, R.B. Kieburtz, A. Bernstein: Extending Concurrent Pascal to allow dynamic resouree management, in Proceedings of the 2nd international conference on Software Engineering, San Francisco, 1976."},{"key":"29_CR12","first-page":"335","volume":"1","author":"P. Ancillotti","year":"1977","unstructured":"P. Ancillotti, M. Boari, N. Lijtmaer: Dynamic management in a language for real time programming, in AICA 77, Vol. 1, pp. 335\u2013348, Pisa, Oct. 1977.","journal-title":"AICA 77"},{"key":"29_CR13","volume-title":"De Bankiers Algorithme, EWD116","author":"E. W. Dijkstra","year":"1965","unstructured":"E.W. Dijkstra: De Bankiers Algorithme, EWD116, Math. Dep. Technological u., Eindhoven, The Netherlands, 1965."},{"key":"29_CR14","doi-asserted-by":"crossref","unstructured":"A.N. Habermann: Prevention of system deadlocks, in CACM 12, N.7, 1969.","DOI":"10.1145\/363156.363160"},{"key":"29_CR15","unstructured":"P. Brinch Hansen: Operating System Principles, Prentice Hall Series in Automatic Computation, Englewood Cliffs, 1973."}],"container-title":["Lecture Notes in Computer Science","Information Systems Methodology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08934-9_99.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T19:56:25Z","timestamp":1640894185000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08934-9_99"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540089346","9783540357315"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-08934-9_99","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]}}}