{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:49Z","timestamp":1750220089857,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T00:00:00Z","timestamp":1657152000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["389792660"],"award-info":[{"award-number":["389792660"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,7]]},"DOI":"10.1145\/3502718.3524801","type":"proceedings-article","created":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T10:28:30Z","timestamp":1657189710000},"page":"414-420","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["pseuCo Book"],"prefix":"10.1145","author":[{"given":"Felix","family":"Freiberger","sequence":"first","affiliation":[{"name":"Saarland University, Saarbr\u00fccken, Germany"}]}],"member":"320","published-online":{"date-parts":[[2022,7,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341525.3387386"},{"key":"e_1_3_2_1_2_1","volume-title":"Pascal Leo Held, and Holger Hermanns","author":"Biewer Sebastian","year":"2017","unstructured":"Sebastian Biewer , Felix Freiberger , Pascal Leo Held, and Holger Hermanns . 2017 . Teaching Academic Concurrency to Amazing Students. In Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, Vol. 10460), Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ing\u00f3 lfsd\u00f3 ttir, Axel Legay, and Radu Mardare (Eds.). Springer, Switzerland, 170--195. https:\/\/doi.org\/10.1007\/978--3--319--63121--9_9 10.1007\/978--3--319--63121--9_9 Sebastian Biewer, Felix Freiberger, Pascal Leo Held, and Holger Hermanns. 2017. Teaching Academic Concurrency to Amazing Students. In Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, Vol. 10460), Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ing\u00f3 lfsd\u00f3 ttir, Axel Legay, and Radu Mardare (Eds.). Springer, Switzerland, 170--195. https:\/\/doi.org\/10.1007\/978--3--319--63121--9_9"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341525.3387409"},{"key":"e_1_3_2_1_4_1","volume-title":"CAV 2020, Los Angeles, CA, USA, July 21--24, 2020, Proceedings, Part II (Lecture Notes in Computer Science","volume":"14","author":"D'Antoni Loris","year":"2020","unstructured":"Loris D'Antoni , Martin Helfrich , Jan Kret'i nsk\u00fd , Emanuel Ramneantu , and Maximilian Weininger . 2020 . Automata Tutor v3. In Computer Aided Verification - 32nd International Conference , CAV 2020, Los Angeles, CA, USA, July 21--24, 2020, Proceedings, Part II (Lecture Notes in Computer Science , Vol. 12225), , Shuvendu K. Lahiri and Chao Wang (Eds.). Springer, Los Angeles, CA, USA, 3-- 14 . https:\/\/doi.org\/10.1007\/978--3-030--53291--8_1 10.1007\/978--3-030--53291--8_1 Loris D'Antoni, Martin Helfrich, Jan Kret'i nsk\u00fd , Emanuel Ramneantu, and Maximilian Weininger. 2020. Automata Tutor v3. In Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21--24, 2020, Proceedings, Part II (Lecture Notes in Computer Science, Vol. 12225), , Shuvendu K. Lahiri and Chao Wang (Eds.). Springer, Los Angeles, CA, USA, 3--14. https:\/\/doi.org\/10.1007\/978--3-030--53291--8_1"},{"key":"e_1_3_2_1_5_1","first-page":"144","article-title":"Automata Tutor and what we learned from building an online teaching tool","volume":"117","author":"D'Antoni Loris","year":"2015","unstructured":"Loris D'Antoni , Matthew Weavery , Alexander Weinert , and Rajeev Alur . 2015 . Automata Tutor and what we learned from building an online teaching tool . Bull. EATCS , Vol. 117 (2015), 144 -- 158 . http:\/\/eatcs.org\/beatcs\/index.php\/beatcs\/article\/view\/365 Loris D'Antoni, Matthew Weavery, Alexander Weinert, and Rajeev Alur. 2015. Automata Tutor and what we learned from building an online teaching tool. Bull. EATCS , Vol. 117 (2015), 144--158. http:\/\/eatcs.org\/beatcs\/index.php\/beatcs\/article\/view\/365","journal-title":"Bull. EATCS"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2835184"},{"key":"e_1_3_2_1_7_1","volume-title":"Hedy: A Gradual Language for Programming Education. In ICER 2020: International Computing Education Research Conference","author":"Hermans Felienne","year":"2020","unstructured":"Felienne Hermans . 2020 . Hedy: A Gradual Language for Programming Education. In ICER 2020: International Computing Education Research Conference , Virtual Event, New Zealand, August 10--12 , 2020, Anthony V. Robins, Adon Moskal, Amy J. Ko, and Ren\u00e9 e McCauley (Eds.). ACM , New Zealand, 259--270. https:\/\/doi.org\/10.1145\/3372782.3406262 10.1145\/3372782.3406262 Felienne Hermans. 2020. Hedy: A Gradual Language for Programming Education. In ICER 2020: International Computing Education Research Conference, Virtual Event, New Zealand, August 10--12, 2020, Anthony V. Robins, Adon Moskal, Amy J. Ko, and Ren\u00e9 e McCauley (Eds.). ACM , New Zealand, 259--270. https:\/\/doi.org\/10.1145\/3372782.3406262"},{"key":"e_1_3_2_1_8_1","volume-title":"Association for Computing Machinery","author":"Joint Task Force on Computing Curricula","year":"2013","unstructured":"Joint Task Force on Computing Curricula , Association for Computing Machinery (ACM) and IEEE Computer Society. 2013 . Computer Science Curricula 2013 .ACM Press and IEEE Computer Society Press , New York, NY, United States. https:\/\/doi.org\/10.1145\/2534860 10.1145\/2534860 Joint Task Force on Computing Curricula, Association for Computing Machinery (ACM) and IEEE Computer Society. 2013. Computer Science Curricula 2013 .ACM Press and IEEE Computer Society Press, New York, NY, United States. https:\/\/doi.org\/10.1145\/2534860"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372782.3406264"},{"key":"e_1_3_2_1_10_1","series-title":"Lecture Notes in Computer Science","volume-title":"A Calculus of Communicating Systems","author":"Milner Robin","unstructured":"Robin Milner . 1980. A Calculus of Communicating Systems . Lecture Notes in Computer Science , Vol. 92 . Springer-Verlag , Berlin . https:\/\/doi.org\/10.1007\/3--540--10235--3 10.1007\/3--540--10235--3 Robin Milner. 1980. A Calculus of Communicating Systems . Lecture Notes in Computer Science, Vol. 92. Springer-Verlag, Berlin. https:\/\/doi.org\/10.1007\/3--540--10235--3"},{"volume-title":"Communication and concurrency","author":"Milner Robin","key":"e_1_3_2_1_11_1","unstructured":"Robin Milner . 1989. Communication and concurrency . Prentice Hall , New York . Robin Milner. 1989. Communication and concurrency .Prentice Hall, New York."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3017680.3017762"}],"event":{"name":"ITiCSE 2022: Innovation and Technology in Computer Science Education","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Dublin Ireland","acronym":"ITiCSE 2022"},"container-title":["Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3502718.3524801","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3502718.3524801","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:47Z","timestamp":1750183787000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3502718.3524801"}},"subtitle":["An Interactive Learning Experience"],"short-title":[],"issued":{"date-parts":[[2022,7,7]]},"references-count":12,"alternative-id":["10.1145\/3502718.3524801","10.1145\/3502718"],"URL":"https:\/\/doi.org\/10.1145\/3502718.3524801","relation":{},"subject":[],"published":{"date-parts":[[2022,7,7]]},"assertion":[{"value":"2022-07-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}