Computer scientist in the field of analysis and theory of distributed systems. (And sometimes game dev.)
-
TU Berlin
- Berlin
- https://bbisping.de
- https://orcid.org/0000-0002-0637-0171
- @benkeks
Highlights
- Pro
Pinned Loading
-
equivalence-fiddle
equivalence-fiddle PublicTool for finding the best ways of equating / preordering / distinguishing finite process models.
-
concurrency-theory.org
concurrency-theory.org PublicWebsite to give some overview over the concurrency theory community
HTML 1
-
discourse-democracy
discourse-democracy PublicDiscourse plugin extending polls with proxy voting and quora
Ruby 2
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.