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
5 Are there temporal logics linear time properties that only have counterexamples that are more complex than a lasso? jul 29
5 What is the worst-case runtime complexity to transform a NFA to DFA via Rabin-Scott's power set construction? dec 11 '14