conf.researchr.org / Benjamin Bisping
![Benjamin Bisping](https://conf.researchr.org/getProfileImage/benjaminbisping/223b0386-2086-4b26-a5ad-18bcd013fefe/small.jpg?1712579494000)
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