كتاب إلكتروني
Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces
العنوان: | Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces |
---|---|
المؤلفون: | Ciancia, VincenzoAff10, Latella, DiegoAff10, Massink, MiekeAff10, de Vink, Erik P.Aff11 |
المساهمون: | Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Jansen, Nils, editorAff7, Stoelinga, Mariëlle, editorAff8, van den Bos, Petra, editorAff9 |
المصدر: | A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. 13560:98-115 |
قاعدة البيانات: | Springer Nature eBooks |
ردمك: | 9783031156281 9783031156298 |
---|---|
DOI: | 10.1007/978-3-031-15629-8_6 |