DaveBall aka user750378
Apparently, this user prefers to keep an air of mystery about them.
15 (How) can you model broadcasts in the pi-calculus? Mar 19 '12
11 Expressiveness of Büchi vs CTL(*) Jun 19 '12
6 Can choice or sequential execution be expressed with other basic operators of the pi calculus? Jul 13 '15
5 Are there temporal logics linear time properties that only have counterexamples that are more complex than a lasso? Jul 29 '15
5 What is the worst-case runtime complexity to transform a NFA to DFA via Rabin-Scott's power set construction? Dec 11 '14