40 citations
- Radboud University NijmegenNL12 papers
- Utrecht UniversityNL7 papers
- Centrum Wiskunde & InformaticaNL6 papers
- Leiden UniversityNL3 papers
- Shahid Beheshti UniversityIR3 papers
- Tilburg UniversityNL3 papers
- Centraal Bureau voor de StatistiekNL2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Eindhoven University of TechnologyNL2 papers
- Instituto de Engenharia de Sistemas e Computadores Investigação e DesenvolvimentoPT2 papers
- Institut Polytechnique de ParisFR2 papers
- Norwegian University of Life SciencesNO2 papers
Showing cs.FLShow all
3 papers · 1 filter
cs.FL2023★ 1 cited
Shuffling posets on trajectories (technical report)
Luc Edixhoven
Choreographies describe possible sequences of interactions among a set of agents. We aim to join two lines of research on choreographies: the use of the shuffle on trajectories ope…
cs.FL2021★ 3 cited
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
Mikołaj Bojańczyk, Joanna Fijalkow, Bartek Klin +1
We develop a theory of vector spaces spanned by orbit-finite sets. Using this theory, we give a decision procedure for equivalence of weighted register automata, which are the comm…
cs.FL2016★ 2 cited
Corrections to A Menagerie of Timed Automata
Jeroen J. A. Keiren, Peter Fontana, Rance Cleaveland
This note corrects a technical error in the ACM Computing Surveys paper mentioned in the title. The flaw involved constructions for showing that timed automata with urgent location…