{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,14]],"date-time":"2025-02-14T05:28:10Z","timestamp":1739510890376,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642112652"},{"type":"electronic","value":"9783642112669"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11266-9_12","type":"book-chapter","created":{"date-parts":[[2009,12,7]],"date-time":"2009-12-07T14:04:58Z","timestamp":1260194698000},"page":"141-152","source":"Crossref","is-referenced-by-count":3,"title":["A Rule Format for Unit Elements"],"prefix":"10.1007","author":[{"given":"Luca","family":"Aceto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Ingolfsdottir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MohammadReza","family":"Mousavi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel A.","family":"Reniers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"FSEN 2009","author":"L. Aceto","year":"2010","unstructured":"Aceto, L., Birgisson, A., Ingolfsdottir, A., Mousavi, M.R., Reniers, M.A.: Rule Formats for Determinism and Idempotence. In: FSEN 2009. LNCS, vol.\u00a05961. Springer, Heidelberg (to appear, 2010)"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/B978-044482830-9\/50021-7","volume-title":"Handbook of Process Algebra","author":"L. Aceto","year":"2001","unstructured":"Aceto, L., Fokkink, W.J., Verhoef, C.: Structural Operational Semantics. In: Handbook of Process Algebra, ch. 3, pp. 197\u2013292. Elsevier, Amsterdam (2001)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Aceto, L., Ingolfsdottir, A., Mousavi, M.R., Reniers, M.A.: A Rule Format for Unit Elements. Tech. Rep. CSR-0913, Eindhoven University of Technology (2009)","DOI":"10.1007\/978-3-642-11266-9_12"},{"key":"12_CR4","unstructured":"Baeten, J.C.M., Bergstra, J.: Mode Transfer in Process Algebra. Tech. Rep. CSR-0001, Eindhoven University of Technology (2000)"},{"key":"12_CR5","unstructured":"Bergstra, J.A., Klop, J.W.: Fixedpoint Semantics in Process Algebra. Tech. Rep. IW 206\/82, Center for Mathematics, Amsterdam (1982)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/978-3-540-85361-9_35","volume-title":"CONCUR 2008 - Concurrency Theory","author":"S. Cranen","year":"2008","unstructured":"Cranen, S., Mousavi, M.R., Reniers, M.A.: A Rule Format for Associativity. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 447\u2013461. Springer, Heidelberg (2008)"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/B978-044482830-9\/50019-9","volume-title":"Handbook of Process Algebra","author":"R.J. Glabbeek van","year":"2001","unstructured":"van Glabbeek, R.J.: The Linear Time - Branching Time Apectrum\u00a0I. In: Handbook of Process Algebra, ch. 1, pp. 3\u2013100. Elsevier, Amsterdam (2001)"},{"issue":"1","key":"12_CR8","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic Laws for Non-Determinism and Concurrency. J. ACM\u00a032(1), 137\u2013161 (1985)","journal-title":"J. ACM"},{"key":"12_CR9","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"12_CR10","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/j.ipl.2004.11.007","volume":"93","author":"M.R. Mousavi","year":"2005","unstructured":"Mousavi, M.R., Reniers, M.A., Groote, J.F.: A Syntactic Commutativity Format for SOS. IPL\u00a093, 217\u2013223 (2005)","journal-title":"IPL"},{"issue":"3","key":"12_CR12","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1016\/j.tcs.2006.12.019","volume":"373","author":"M.R. Mousavi","year":"2007","unstructured":"Mousavi, M.R., Reniers, M.A., Groote, J.F.: SOS Formats and Meta-Theory: 20\u00a0Years after. TCS\u00a0373(3), 238\u2013272 (2007)","journal-title":"TCS"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. JLAP 60-61, 17\u2013140 (2004)","DOI":"10.1016\/j.jlap.2004.05.001"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/BFb0012788","volume-title":"Automata, Languages, and Programming","author":"G.D. Plotkin","year":"1982","unstructured":"Plotkin, G.D.: A Powerdomain for Countable Non-Determinism (extended abstract). In: Nielsen, M., Schmidt, E.M. (eds.) ICALP 1982. LNCS, vol.\u00a0140, pp. 418\u2013428. Springer, Heidelberg (1982)"},{"issue":"2","key":"12_CR15","first-page":"274","volume":"2","author":"C. Verhoef","year":"1995","unstructured":"Verhoef, C.: A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises. Nordic Journal of Computing\u00a02(2), 274\u2013302 (1995)","journal-title":"Nordic Journal of Computing"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2010: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11266-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T17:27:15Z","timestamp":1739467635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11266-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642112652","9783642112669"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11266-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}