{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:13:21Z","timestamp":1725473601959},"reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0084799","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T13:12:14Z","timestamp":1164373934000},"page":"302-316","source":"Crossref","is-referenced-by-count":3,"title":["Structural operational specifications and trace automata"],"prefix":"10.1007","author":[{"given":"Eric","family":"Badouel","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Darondeau","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Arnold, A., and Nivat, M., Comportements de processus. Colloque AFCET \u00ab Les Math\u00e9matiques de l'Informatique \u00bb, (1982) 35\u201368."},{"key":"22_CR2","unstructured":"Badouel, E., and Darondeau, Ph., Structural Operational Specifications and Trace Automata, INRIA research report no 1631 (1992)."},{"key":"22_CR3","unstructured":"Bednarczyk, M.A., Categories of asynchronous systems. PhD thesis, University of Sussex, report no.1\/88 (1988)."},{"key":"22_CR4","doi-asserted-by":"crossref","first-page":"433","DOI":"10.3233\/FI-1988-11406","volume":"XI","author":"G. Boudol","year":"1988","unstructured":"Boudol, G., and Castellani, I., A non-interleaving semantics for CCS based on proved transitions. Fundamenta Informaticae XI (1988) 433\u2013452.","journal-title":"Fundamenta Informaticae"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Boudol, G., and Castellani, I., Three Equivalent Semantics for CCS. Semantics of Systems of Concurrent Processes, I. Guessarian (Ed.) LNCS 469 (1990) 96\u2013141.","DOI":"10.1007\/3-540-53479-2_5"},{"key":"22_CR6","unstructured":"De Simone, R., Calculabilit\u00e9 et expressivit\u00e9 dans l'alg\u00e8bre de processus MEIJE. Th\u00e8se de 3\u00e8me Cycle, Universit\u00e9 de Paris VII (1984)."},{"key":"22_CR7","first-page":"526","volume":"443","author":"K. Larsen","year":"1990","unstructured":"Larsen, K., and Xinxin, L., Compositionality through an operational semantics of contexts. Proc. 17th ICALP (Warwick), LNCS 443 (1990) 526\u2013539.","journal-title":"Proc. 17th ICALP (Warwick), LNCS"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Milner, R., A calculus of communicating systems. Springer-Verlag LNCS 92 (1980).","DOI":"10.1007\/3-540-10235-3"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Nielsen, M., Rozenberg, G., and Thiagarajan, P.S., Elementary Transition Systems. DAIMI PB-310 Aarhus (1990).","DOI":"10.7146\/dpb.v19i310.6701"},{"key":"22_CR10","first-page":"899","volume":"11","author":"M. Nivat","year":"1979","unstructured":"Nivat, M., Sur la synchronisation des processus. Revue technique Thomson-CSF, 11, (1979) 899\u2013919.","journal-title":"Revue technique Thomson-CSF"},{"key":"22_CR11","unstructured":"Plotkin, G., A structural approach to operational semantics. DAIMI-FN-19 Aarhus (1981)."},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0304-3975(89)90050-9","volume":"64","author":"E.W. Stark","year":"1989","unstructured":"Stark, E.W., Concurrent transition systems. Theoretical Computer Science 64 (1989) 221\u2013269.","journal-title":"Theoretical Computer Science"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Stark, E.W., Connections between a concrete and an abstract model of concurrent systems. 5th Mathematical Foundations of programming semantics (1989) 53\u201379.","DOI":"10.1007\/BFb0040254"},{"key":"22_CR14","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/BFb0018344","volume":"389","author":"E.W. Stark","year":"1989","unstructured":"Stark, E.W., Compositional Relational Semantics for Indeterminate Dataflow Networks. Summer Conference on Category Theory and Computer Science, LNCS 389 (1989) 52\u201374.","journal-title":"Summer Conference on Category Theory and Computer Science, LNCS"},{"key":"22_CR15","unstructured":"Winskel, G., Categories of Models for Concurrency. Advanced School on the Algebraic, Logical, and Categorical Foundations of Concurrency, Gargnano del Garda (1991)."}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084799.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,5]],"date-time":"2021-08-05T03:13:17Z","timestamp":1628133197000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0084799"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540558224"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0084799","relation":{},"subject":[]}}