conf.researchr.org / Benjamin Bisping
Registered user since Thu 21 Feb 2019
Name:Benjamin Bisping
Country:Germany
Affiliation:Technische Universität Berlin
Personal website: https://bbisping.de
X (Twitter): https://x.com/benkeks
GitHub: https://github.com/benkeks
Research interests:Bisimulation, Modal Logics, Concurrency Theory, Weak Equivalences
Contributions