1
TITLE: Automata for Synchronised Shuffle on Backbones
AUTHORS: Sabine Broda; António Machiavelo; Nelma Moreira ; Rogério Reis;
PUBLISHED: 2025, SOURCE: 26th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems, DCFS 2025 in Descriptional Complexity of Formal Systems - 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings, VOLUME: 15759
INDEXED IN: Scopus DBLP CrossRef