{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:28:03Z","timestamp":1725791283879},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319062501"},{"type":"electronic","value":"9783319062518"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06251-8_26","type":"book-chapter","created":{"date-parts":[[2014,4,8]],"date-time":"2014-04-08T01:32:39Z","timestamp":1396920759000},"page":"429-445","source":"Crossref","is-referenced-by-count":1,"title":["Nominal Sets over Algebraic Atoms"],"prefix":"10.1007","author":[{"given":"Joanna","family":"Ochremiak","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"Boja\u0144czyk, M., Klin, B., Lasota, S.: Automata Theory in Nominal Sets (to appear)"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Boja\u0144czyk, M., Klin, B., Lasota, S.: Automata with Group Actions. In: Proc. LICS 2011, pp. 355\u2013364 (2011)","DOI":"10.1109\/LICS.2011.48"},{"key":"26_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-31585-5_12","volume-title":"Automata, Languages, and Programming","author":"M. Boja\u0144czyk","year":"2012","unstructured":"Boja\u0144czyk, M., Lasota, S.: A Machine-independent Characterization of Timed Languages. In: Czumaj, A., Mehlhorn, K., Pitts, A., Wattenhofer, R. (eds.) ICALP 2012, Part II. LNCS, vol.\u00a07392, pp. 92\u2013103. Springer, Heidelberg (2012)"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Boja\u0144czyk, M., Klin, B., Lasota, S., Toru\u0144czyk, S.: Turing Machines with Atoms. In: Proc. LICS 2013, pp. 183\u2013192 (2013)","DOI":"10.1109\/LICS.2013.24"},{"key":"26_CR5","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1016\/j.ic.2005.08.004","volume":"204","author":"M. Fiore","year":"2006","unstructured":"Fiore, M., Staton, S.: Comparing Operational Models of Name-passing Process Calculi. Inf. Comput.\u00a0204, 524\u2013560 (2006)","journal-title":"Inf. Comput."},{"key":"26_CR6","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s001650200016","volume":"13","author":"M.J. Gabbay","year":"2002","unstructured":"Gabbay, M.J., Pitts, A.M.: A new approach to abstract syntax with variable binding. Formal Aspects of Computing\u00a013, 341\u2013363 (2002)","journal-title":"Formal Aspects of Computing"},{"key":"26_CR7","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/s10990-006-8749-3","volume":"19","author":"F. Gadducci","year":"2006","unstructured":"Gadducci, F., Miculan, M., Montanari, U.: About Permutation Algebras (Pre)Sheaves and Named Sets. Higher Order Symbol. Comput.\u00a019, 283\u2013304 (2006)","journal-title":"Higher Order Symbol. Comput."},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Hodges, W.: Model theory. Cambridge University Press (1993)","DOI":"10.1017\/CBO9780511551574"},{"key":"26_CR9","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/0304-3975(94)90242-9","volume":"134","author":"M. Kaminski","year":"1994","unstructured":"Kaminski, M., Francez, N.: Finite-memory Automata. Theor. Comput. Sci.\u00a0134, 329\u2013363 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"26_CR10","unstructured":"Pistore, M.: History Dependent Automata. PhD thesis, Universit\u00e0 di Pisa, Dipartimento di Informatica. available at University of Pisa as PhD Thesis TD-5\/99 (1999)"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Pitts, A.M.: Nominal Sets: Names and Symmetry in Computer Science. Cambridge Tracts in Theoretical Computer Science, vol.\u00a057. Cambridge University Press (2013)","DOI":"10.1017\/CBO9781139084673"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06251-8_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,11]],"date-time":"2023-07-11T22:59:28Z","timestamp":1689116368000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06251-8_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319062501","9783319062518"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06251-8_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}