On symmetric higher-dimensional automata and bisimilarity

Theoretical Computer Science

Journal Article

Publication

Year of publication: 2022

Volume: 935

Pages: 47--60

Identifiers

ISSN: 0304-3975

Locators

Alternative Titles