{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:29:41Z","timestamp":1754486981628},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1987,2,1]],"date-time":"1987-02-01T00:00:00Z","timestamp":539136000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1987,2]]},"DOI":"10.1007\/bf00290705","type":"journal-article","created":{"date-parts":[[2004,10,5]],"date-time":"2004-10-05T02:39:30Z","timestamp":1096943970000},"page":"33-55","source":"Crossref","is-referenced-by-count":22,"title":["A formal semantics for concurrent systems with a priority relation"],"prefix":"10.1007","volume":"24","author":[{"given":"Ryszard","family":"Janicki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0304-3975(82)90020-2","volume":"18","author":"E. Best","year":"1982","unstructured":"Best, E.: Adequacy Properties of Path Program. Theor. Comput. Sci. 18, 149?171 (1982)","journal-title":"Theor. Comput. Sci."},{"key":"CR2","unstructured":"Campbell, R.H.: Path Expressions: a technique for process synchronisation. Ph.D. Thesis, University of Newcastle upon Tyne, 1976"},{"key":"CR3","first-page":"89","volume-title":"Lect. Notes Comput. Sci., Vol. 16","author":"R.H. Campbell","year":"1974","unstructured":"Campbell, R.H., Haberman, A.N.: The specification of process synchronisation by paths expressions. Lect. Notes Comput. Sci., Vol. 16, pp. 89?102. Berlin, Heidelberg, New York: Springer 1974"},{"key":"CR4","volume-title":"Path expressions in Pascal","author":"R.H. Campbell","year":"1979","unstructured":"Campbell, R.H., Kolstad, R.B.: Path expressions in Pascal. Dept. of Comp. Sci., University of Illinois at Champaign-Urbana, Urbana, IL, 1979"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1145\/362759.362813","volume":"14","author":"P.J. Courtois","year":"1971","unstructured":"Courtois, P.J., Heymans, F., Parnas, D.L.: Concurrent control with ?Readers? and ?Writers?. CACM 14, 667?678 (1971)","journal-title":"CACM"},{"key":"CR6","series-title":"Final Rept. RADC-TR-68-305","volume-title":"Information System Theory Project","year":"1968","unstructured":"Holt, A.W. (ed.): Information System Theory Project. Final Rept. RADC-TR-68-305, Applied Data Research Inc., Princeton, NJ, 1968"},{"key":"CR7","first-page":"283","volume":"21","author":"R. Janicki","year":"1985","unstructured":"Janicki, R.: An Equivalence Notion for Path Expression Systems. Elektron. Informationsverarbeitungs-Kybernetik 21, 283?295 (1985)","journal-title":"Elektron. Informationsverarbeitungs-Kybernetik"},{"key":"CR8","unstructured":"Janicki, R.: A Formal Semantics for Concurrent Systems with a Priority Relation (Version 1). Report R 84-16, Institute of Electronic Systems, Aalborg Univ. Centre, 1984"},{"key":"CR9","series-title":"Lect. Notes Comput. Sci., Vol. 197","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/3-540-15670-4_13","volume-title":"Maximally concurrent evolution of non-sequential systems","author":"R. Janicki","year":"1985","unstructured":"Janicki, R., Lauer, P., Devillers, R.: Maximally concurrent evolution of non-sequential systems. Lect. Notes Comput. Sci., Vol. 197, pp. 268?280. Berlin, Heidelberg, New York: Springer 1985"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/BF00264564","volume":"5","author":"P.E. Lauer","year":"1975","unstructured":"Lauer, P.E., Campbell, R.H.: Formal semantics of a class of high-level primitives for coordinating concurrent processes. Acta Inf. 5, 237?332 (1975)","journal-title":"Acta Inf."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Lauer, P., Shields, M.W.: Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts. SIGPLAN Notices, Vol. 13, No. 12, pp. 41?59. ACM Press 1978","DOI":"10.1145\/954587.954591"},{"key":"CR12","first-page":"115","volume-title":"Lect. Notes Comput. Sci., Vol. 107","author":"P. Lauer","year":"1981","unstructured":"Lauer, P., Shields, M.W., Cotronis, J.Y.: Formal behavioural specification of concurrent systems without globality assumptions. Lect. Notes Comput. Sci., Vol. 107, pp. 115?151. Berlin, Heidelberg, New York: Springer 1981"},{"key":"CR13","first-page":"223","volume-title":"Lect. Notes Comput. Sci., Vol. 83","author":"P. Lauer","year":"1980","unstructured":"Lauer, P., Torrigiani, P.R., Devillers, R.: A COSY Banker. Lect. Notes Comput. Sci., Vol. 83, pp. 223?239. Berlin, Heidelberg, New York: Springer 1980"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF00266047","volume":"12","author":"P. Lauer","year":"1979","unstructured":"Lauer, P., Torrigiani, P.R., Shields, M.W.: COSY: a system specification language based on path expressions. Acta Inf. 12, 109?158 (1979)","journal-title":"Acta Inf."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"Milner, R.: Calculi for Synchrony and Asynchrony. Theor. Comput. Sci. 25, 267?310 (1983)","journal-title":"Theor. Comput. Sci."},{"key":"CR16","series-title":"Report 558","volume-title":"On Priority and Non-Priority Path Expressions","author":"F. Okulicka","year":"1985","unstructured":"Okulicka, F.: On Priority and Non-Priority Path Expressions. Report 558, Inst. of Comp. Sci., Polish Academy of Sciences, Warsaw 1985"},{"key":"CR17","volume-title":"Proceedings of IFIP Congress '62","author":"C.A. Petri","year":"1962","unstructured":"Petri, C.A.: Fundamentals of a Theory of Asynchronous Information Flow. Proceedings of IFIP Congress '62. Amsterdam: North Holland 1962"},{"key":"CR18","volume-title":"Petri Nets","author":"W. Reisig","year":"1984","unstructured":"Reisig, W.: Petri Nets. Berlin, Heidelberg, New York: Springer 1984"},{"key":"CR19","unstructured":"Reisig, W.: What Operational Semantics in Adequate for Non-sequential Systems? Report B.30, Digital Systems Laboratory, Helsinki University of Technology 1984"},{"key":"CR20","first-page":"250","volume-title":"Informatik-Fachberichte, Vol. 66","author":"G. Rozenberg","year":"1983","unstructured":"Rozenberg, G., Verraedt, R.: Subset Languages of Petri nets. Informatik-Fachberichte, Vol. 66, pp. 250?263. Berlin, Heidelberg, New York: Springer 1983"},{"key":"CR21","first-page":"249","volume-title":"Lect. Notes Comput. Sci., Vol. 70","author":"M.W. Shields","year":"1979","unstructured":"Shields, M.W.: Adequate Path Expressions. Lect. Notes Comput. Sci., Vol. 70, pp. 249?265. Berlin, Heidelberg, New York: Springer 1979"},{"key":"CR22","unstructured":"Shields, M.W.: On the Non-Sequential Behaviour of Systems Processing a Generalized Free Choice Property. Internal Report CRS-92-81, Dept. of Comp. Sci. University of Edinburgh 1981"},{"key":"CR23","first-page":"229","volume-title":"Lect. Notes Comput. Sci., Vol. 167","author":"M.W. Shields","year":"1984","unstructured":"Shields, M.W.: Non-sequential Behaviour. Lect. Notes Comput. Sci., Vol. 167, pp. 229?239. Berlin-Heidelberg, New York: Springer 1984"},{"key":"CR24","doi-asserted-by":"crossref","first-page":"386","DOI":"10.4064\/fm-16-1-386-389","volume":"16","author":"E. Szpilrajn","year":"1930","unstructured":"Szpilrajn, E.: Sur l'extension de l'ordre partial. Fundam. Math. 16, 386?389 (1930)","journal-title":"Fundam. Math."},{"key":"CR25","first-page":"292","volume-title":"Informatik-Fachberichte, Vol. 66","author":"M. Yoeli","year":"1983","unstructured":"Yoeli, M., Etzion, T.: Behavioural Equivalence of Concurrent Systems. Informatik-Fachberichte, Vol. 66, pp. 292?305. Berlin, Heidelberg, New York: Springer 1983"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00290705.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00290705\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00290705","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T17:15:40Z","timestamp":1554743740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00290705"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,2]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1987,2]]}},"alternative-id":["BF00290705"],"URL":"https:\/\/doi.org\/10.1007\/bf00290705","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,2]]}}}