Published in: LIPIcs, Volume 261, 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023)
Frits Vaandrager and Thorsten Wißmann. Action Codes. In 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 261, pp. 137:1-137:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{vaandrager_et_al:LIPIcs.ICALP.2023.137, author = {Vaandrager, Frits and Wi{\ss}mann, Thorsten}, title = {{Action Codes}}, booktitle = {50th International Colloquium on Automata, Languages, and Programming (ICALP 2023)}, pages = {137:1--137:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-278-5}, ISSN = {1868-8969}, year = {2023}, volume = {261}, editor = {Etessami, Kousha and Feige, Uriel and Puppis, Gabriele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2023.137}, URN = {urn:nbn:de:0030-drops-181895}, doi = {10.4230/LIPIcs.ICALP.2023.137}, annote = {Keywords: Automata, Models of Reactive Systems, LTS, Action Codes, Action Refinement, Action Contraction, Galois Connection, Model-Based Testing, Model Learning} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Rocco De Nicola, Ursula Goltz, and Frits Vaandrager. Expressiveness in Concurrency (Dagstuhl Seminar 9638). Dagstuhl Seminar Report 156, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1997)
@TechReport{denicola_et_al:DagSemRep.156, author = {De Nicola, Rocco and Goltz, Ursula and Vaandrager, Frits}, title = {{Expressiveness in Concurrency (Dagstuhl Seminar 9638)}}, pages = {1--7}, ISSN = {1619-0203}, year = {1997}, type = {Dagstuhl Seminar Report}, number = {156}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.156}, URN = {urn:nbn:de:0030-drops-150438}, doi = {10.4230/DagSemRep.156}, }
Feedback for Dagstuhl Publishing