{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:07:12Z","timestamp":1775052432145,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540556107","type":"print"},{"value":"9783540472582","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55610-9_172","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:26:43Z","timestamp":1330252003000},"page":"179-214","source":"Crossref","is-referenced-by-count":11,"title":["A basic-net algebra for program semantics and its application to occam"],"prefix":"10.1007","author":[{"given":"Richard","family":"Hopkins","sequence":"first","affiliation":[]},{"given":"Jon","family":"Hall","sequence":"additional","affiliation":[]},{"given":"Oliver","family":"Botti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,13]]},"reference":[{"key":"7_CR1","volume-title":"From Basic to Timed Models of OCCAM: an Application to Program Placement","author":"O. Botti","year":"1992","unstructured":"Botti O., De Cindio F., \u201cFrom Basic to Timed Models of OCCAM: an Application to Program Placement\u201d, Proc. 4th Int. Workshop on Petri Nets and Performance Models, Melbourne, IEEE Press (1992)."},{"key":"7_CR2","unstructured":"Best E., De Cindio F., Hopkins R.P., \u201cDEMON \u2014 Design Methods based on Nets: an ESPRIT Basic Research Action (No.3148)\u201d, EATCS Bulletin No.41 (1990)."},{"key":"7_CR3","unstructured":"Best E., Hall J., \u201cThe Box Calculus: a New Causal Algebra with Multi-Label Communication\u201d, this volume."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Best E., Koutny M., \u201cPetri Net Semantics of Priority Systems\u201d, Theoretical Computer Science (1991).","DOI":"10.1016\/0304-3975(92)90184-H"},{"key":"7_CR5","unstructured":"Botti O., \u201cUn Modello in Reti di Petri per OCCAM2\u201d, MSc Thesis, DSI, University of Milano (1990)."},{"key":"7_CR6","unstructured":"Cherkasova L., Kotov V., \u201cDescriptive and Analytic Process Algebras\u201d, Proc. 9th Europ. Workshop on Apllication and Theory of Petri Nets, Venice (1988)."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Degano P., De Nicola R., Montanari U.,\u201c CCS is an (augmented) contact free C\/E system\u201d, Math, models for the semantics of parallelism, Springer-Verlag, LNCS 280 (1987).","DOI":"10.1007\/3-540-18419-8_13"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Goltz U., Mycroft A., \u201cOn the relationship of CCS and Petri Nets\u201d, ICALP 84, Springer-Verlag, LNCS 172 (1984).","DOI":"10.1007\/3-540-13345-3_18"},{"key":"7_CR9","unstructured":"Hall J., \u201cHigh Level Petri Boxes and General Recursion\u201d, DEMON Final Report (January 1992)."},{"key":"7_CR10","unstructured":"Hopkins R.P., Hall J., \u201cTowards a Petri Net Programming Notation\u201d, DEMON Research Memorandum, Computing Laboratory, University of Newcastle upon Tyne (1990)."},{"key":"7_CR11","unstructured":"Hall J., Hopkins R.P., Botti O., De Cindio F., \u201cA Petri Net Semantics of OCCAM 2\u201d, Technical Report, Computing Laboratory, University of Newcastle upon Tyne (1990)."},{"key":"7_CR12","unstructured":"Hopkins R.P., \u201cPetri Net Semantics of OCCAM \u2014 Some Results\u201d, Technical Report, Computing Laboratory, University of Newcastle upon Tyne (1992)."},{"key":"7_CR13","unstructured":"INMOS, \u201cOCCAM 2 Reference Manual\u201d, Prentice Hall (1988)."},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Janicki R., \u201cA Formal Semantics for Concurrent Systems with a Priority Relation\u201d, Acta Informatica 24 (1987).","DOI":"10.1007\/BF00290705"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Kotov V.E., \u201cAn Algebra for Parallelism Based on Petri Nets\u201d, MFCS, Springer-Verlag, LNCS 64 (1978).","DOI":"10.1007\/3-540-08921-7_55"},{"key":"7_CR16","unstructured":"Milner R., \u201cCommunication and Concurrency\u201d, Prentice-Hall (1989)."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Murata T., Shenker B., Shatz S.M., \u201cDetection of ADA Static Deadlocks Using Petri Nets\u201d, IEEE Transactions on Software Engineering, Vol.15(3) (1989).","DOI":"10.1109\/32.21759"},{"key":"7_CR18","volume-title":"Technical Report","author":"W.W. McLendon","year":"1991","unstructured":"McLendon W.W., Vidale R.F, \u201cAnalysis of an Ada System using Coloured Petri Nets and Occurrence Graphs\u201c, Technical Report, Draper Laboratory, Cambridge MA (1991)."},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Olderog E.R., \u201cNets, Terms and Formulae\u201d, Habilitation (1989). Cambridge Tracts in Theoretical Computer Science (1991).","DOI":"10.1017\/CBO9780511526589"},{"key":"7_CR20","unstructured":"Roscoe A.W., Hoare C.A.R., \u201cThe Laws of OCCAM Programming\u201d, Technical Monograph PRG-53, Oxford University (1986)."},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Roscoe A.W., \u201cDenotational Semantics for OCCAM\u201d, Proc. 1984 Seminar on Concurrency, Carnegie Mellon, Springer-Verlag, LNCS 197 (1985).","DOI":"10.1007\/3-540-15670-4_15"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Taubner D., \u201cFinite Representations of CCS and TCSP Programs by Automata and Petri Nets\u201d, Springer-Verlag, LNCS 369 (1989).","DOI":"10.1007\/3-540-51525-9"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Winskel G., \u201cA New Definition of Morphism on Petri Nets\u201d, Proc. STACS'84, Springer-Verlag, LNCS 166 (1984).","DOI":"10.1007\/3-540-12920-0_13"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1992"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55610-9_172.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:00:44Z","timestamp":1605646844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55610-9_172"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556107","9783540472582"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-55610-9_172","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992]]}}}