{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T22:36:11Z","timestamp":1784241371200,"version":"3.55.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"value":"354009511X","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022473","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:24:08Z","timestamp":1132723448000},"page":"249-265","source":"Crossref","is-referenced-by-count":32,"title":["Adequate path expressions"],"prefix":"10.1007","author":[{"given":"M. W.","family":"Shields","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Campbell, R.H., Habermann, A.N.: The specification of process synchronisation by path expressions. Lecture Notes in Computer Science (ed. G. Goos and J. Hartmanis), pp. 89\u2013102, Vol. 16, Springer Verlag 1974.","DOI":"10.1007\/BFb0029355"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Habermann, A.N.: Path expressions, Carnegie Mellon University, 1975.","DOI":"10.21236\/ADA015842"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz, A.: Concurrent program schemes and their interpretations. Proc. Aarhus Workshop on Verification of Parallel Processes, June 13\u201324, Aarhus, Denmark, 1977.","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"14_CR4","doi-asserted-by":"publisher","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":"14_CR5","unstructured":"Lauer, P.E., Best, E., Shields, M.W.: On the problem of acheiving adequacy of concurrent programs. Proc. of a working conference on formal description of programming concepts, 1977, North Holland."},{"key":"14_CR6","unstructured":"Lauer, P.E., Shields, M.W., Best, E.: On the design and analysis of asynchronous systems of processes. Final Report, period 1976\u201377. University of Newcastle-upon-Tyne Asynchronous Systems Memoranda ASM\/49 and ASM\/45. To appear as a technical report. 1978"},{"key":"14_CR7","unstructured":"Lauer, P.E., Shields, M.W.: Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts. Tech. Report 117, University of Newcastle-upon-Tyne, 1977."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Lauer, P.E., Torrigiani, P.R., Shields, M.W.: COSY, a system specification language based on paths and processes. Tech. Report 136, University of Newcastle-upon-Tyne, 1978. To appear in Acta Informatica.","DOI":"10.1007\/BF00266047"},{"key":"14_CR9","unstructured":"Petri, C.A.: Non-sequential processes, GMD internal report, Bonn, 1976."},{"key":"14_CR10","unstructured":"Shields, M.W.: COSY train journeys: an analysis of deadlock in a toy train set. University of Newcastle-upon-Tyne ASM series. To appear. 1979."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Shields, M.W., Lauer, P.E.: A formal semantics for concurrent systems. ICALP79: 6-th International Colloquium on Automata, Languages and Programming, July 16\u201320, Graz, Austria, 1979. To appear in Springer Lecture Notes.","DOI":"10.1007\/3-540-09510-1_46"},{"key":"14_CR12","unstructured":"Torrigiani, P.R., Lauer, P.E.: An object oriented notation for path expressions. AICA 1977, Annual Conference 3rd volume. Software Methodologies, pp. 349\u2013371, 12\u201314 October, 1977."}],"container-title":["Lecture Notes in Computer Science","Semantics of Concurrent Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0022473","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:18:16Z","timestamp":1586578696000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022473"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354009511X"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0022473","relation":{},"subject":[]}}