{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:14Z","timestamp":1725663014084},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540095415"},{"type":"electronic","value":"9783540350101"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/3-540-09541-1_21","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:49:22Z","timestamp":1330188562000},"page":"1-32","source":"Crossref","is-referenced-by-count":4,"title":["On the abstract specification and formal analysis of synchronization properties of concurrent systems"],"prefix":"10.1007","author":[{"given":"M. W.","family":"Shields","sequence":"first","affiliation":[]},{"given":"P. E.","family":"Lauer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"1_CR1","unstructured":"Courtois, P.J., Georges, J.: On Starvation Prevention, R.A.I.R.D. Informatique\/Computer Science, Vol. 11, No. 2, 1977."},{"key":"1_CR2","unstructured":"Devillers, R.: Non starving solutions to the dining philosophers problem. ASM\/30, University of Newcastle upon Tyne, 1977."},{"key":"1_CR3","unstructured":"Devillers, R., Lauer, P.E.: A general mechanism for the local control of starvation: application to the dining philosophers and to the reader-writer problem. ASM\/32, University of Newcastle upon Tyne, 1977."},{"key":"1_CR4","first-page":"175","volume-title":"Introduction to Occurrence Systems, Associate Information Techniques","author":"A. Holt","year":"1971","unstructured":"Holt, A.: Introduction to Occurrence Systems, Associate Information Techniques, Ed. Jacks, E.L., American Elsevier Publ. Co. Inc., New York (1971), pp.175\u2013203."},{"key":"1_CR5","unstructured":"Knuth, E.: Petri Nets and regular Trace languages. ASM\/47, University of Newcastle upon Tyne, April, 1978."},{"key":"1_CR6","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF00264564","volume":"5","author":"P. E. Lauer","year":"1975","unstructured":"Lauer, P.E., Campbell R.H.: Formal semantics for a class of high-level primitives for co-ordinating concurrent processes, Acta Informatica, 5, pp.297\u2013332, 1975.","journal-title":"Acta Informatica"},{"key":"1_CR7","unstructured":"Lauer, P.E., Shields, M.W.: Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts. Tech. Rep. 120, University of Newcastle upon Tyne. Also in Proc. of a Workshop on Global Descriptive Methods for Synchronization in Real-Time Applications, AFCET, Paris, Nov. 3\u20134, 1977."},{"key":"1_CR8","unstructured":"Lauer, P.E., Shields, M.W., Best E.: On the design and certification of asynchronous systems of process: Part 1: COSY \u2014 a system specification language based on paths and processes, ASM\/49. Part 2: formal theory of the basic COSY notation. ASM\/45, University of Newcastle upon Tyne, 1978."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Lauer, P.E., Torrigiani, R.R.: Towards a system specification language based on paths and processes. Tech. Rep. 117, University of Newcastle upon Tyne, Feb. 1978.","DOI":"10.1007\/BF00266047"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz, A.W.: Concurrent program schemes and their interpretation. Presented at the \u00c5rhus Workshop on verification of parallel processes. \u00c5rhus, Denmark. June 13\u201314, 1977.","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"1_CR11","series-title":"ISF Report","volume-title":"Nicht sequentiele prozesse","author":"C. A. Petri","year":"1976","unstructured":"Petri, C.A.: Nicht sequentiele prozesse. ISF Report 76-6, G.M.D., Bonn, 1976."},{"key":"1_CR12","unstructured":"Shields, M.W.: A simple spooling system described using the path notation together with a proof of its adequacy. ASM\/38, University of Newcastle upon Tyne, 1977."},{"key":"1_CR13","volume-title":"Algebras of arrays, a tool to deal with concurrency","author":"J. Winkowski","year":"1977","unstructured":"Winkowski, J.: Algebras of arrays, a tool to deal with concurrency. Institute of Computer Science, Polish Academy of Science, Warsaw, 1977."}],"container-title":["Lecture Notes in Computer Science","Mathematical Studies of Information Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-09541-1_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:01:34Z","timestamp":1605643294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-09541-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540095415","9783540350101"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-09541-1_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1979]]}}}