Bisimulation for Higher-Dimensional Automata. A Geometric Interpretation

Ulrich Fahrenberg

Research output: Book/ReportReportResearch

290 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Bisimulation for Higher-Dimensional Automata. A Geometric Interpretation'. Together they form a unique fingerprint.

Keyphrases

Computer Science