{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:21:47Z","timestamp":1725456107347},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354010027X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022534","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T00:49:12Z","timestamp":1132706952000},"page":"576-586","source":"Crossref","is-referenced-by-count":5,"title":["Verifying concurrent system specifications in COSY"],"prefix":"10.1007","author":[{"given":"M. W.","family":"Shields","sequence":"first","affiliation":[]},{"given":"P. E.","family":"Lauer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"43_CR1","doi-asserted-by":"crossref","first-page":"247","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 Coordinating Concurrent Processes. Acta Informatica 5, pp. 247\u2013332, 1975.","journal-title":"Acta Informatica"},{"key":"43_CR2","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF00266047","volume":"12","author":"P.E. Lauer","year":"1979","unstructured":"Lauer, P.E., Torrigiani, P.R., Shields, M.W.: COSY: a system specification language based on paths and processes. Acta Informatica, Vol. 12, pp. 109\u2013158, 1979.","journal-title":"Acta Informatica"},{"key":"43_CR3","unstructured":"Dijkstra, E.W.: A discipline of programming. Prentice Hall, 1976."},{"key":"43_CR4","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating sequential processes. CACM Vol. 21, No. 8, August, 1978.","DOI":"10.1145\/359576.359585"},{"key":"43_CR5","doi-asserted-by":"crossref","unstructured":"Cambell, R.H., Habermann, A.H.: The specification of process synchronization by path expressions. Lecture Notes in Computer Science Vol. 16 Springer Verlag, pp. 89\u2013102.","DOI":"10.1007\/BFb0029355"},{"key":"43_CR6","unstructured":"Lauer, P.E., Shields, M.W., Best, E.: The design and certification of asynchronous systems of processes. Proc. of EEC Advanced Course on Abstract Software Specification, Lyngby, Jan. 22\u2013Feb. 2, 1979. Lecture Notes in Computer Science (to appear)."},{"key":"43_CR7","doi-asserted-by":"crossref","unstructured":"Shields, M.W.: Adequate path expressions. Proc. Symp. on the Semantics of concurrent computation, Evian-les-Bains, July 2\u20134, 1979. Springer Lecture Notes in Computer Science Vol. 70, 1979.","DOI":"10.1007\/BFb0022473"},{"key":"43_CR8","doi-asserted-by":"crossref","unstructured":"Shields, M.W., Lauer, P.E.: On the abstract specification and formal analysis of synchronization properties of concurrent systems. Proc. of Int. Conf. on Mathematical Studies of Information Processing, Aug. 23\u201326, Kyoto, 1978. Lecture Notes in Computer Science 75, Springer Verlag 1979, pp. 1\u201332.","DOI":"10.1007\/3-540-09541-1_21"},{"key":"43_CR9","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.: Co-operating sequential processes. In: Programming Languages, ed. Genuys, Academic Press 1968.","DOI":"10.1007\/978-1-4757-3472-0_2"},{"key":"43_CR10","doi-asserted-by":"crossref","unstructured":"Lauer, P.E., Torrigiani, P.R., Devillers, R.: A COSY Banker: Specification of highly parallel and distributed resource management. Proc. 4th International Symposium on Programming, Paris April 22\u201324, 1980 Lecture Notes in Computer Science Vol. 83 (ed. B. Robinet), Springer Verlag, 1980.","DOI":"10.1007\/3-540-09981-6_16"},{"key":"43_CR11","unstructured":"Lauer, P.E., Shields, M.W., Best, E.: Formal Theory of the Basic COSY Notation. The Computing Laboratory, University of Newcastle upon Tyne, Technical Report Series No. 143, Nov. 1979."},{"key":"43_CR12","unstructured":"Shields, M.W., Lauer, P.E.: Programming and verifying concurrent systems in COSY. University of Newcastle upon Tyne, Computing Laboratory, ASM\/68, January 1980."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1980"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0022534","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T00:21:04Z","timestamp":1586564464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022534"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354010027X"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0022534","relation":{},"subject":[]}}