Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Theoretical Computer Science
Meta user
Network profile
234
reputation
3
14

DaveBall aka user750378

I'm the CEO of QPR Technologies and always want to improve my coding skills.

0
answers
8
questions
~3k
people reached
  • Karlsruhe, Germany
  • Member for 7 years, 8 months
  • 64 profile views
  • Last seen Mar 21 '18 at 12:21

Communities (26)

Top network posts

Top tags (13)

Score 0
Posts 5
Posts % 62
Score 0
Posts 4
Score 0
Posts 4
Score 0
Posts 3
Score 0
Posts 2
Score 0
Posts 2
View all tags →

Top posts (8) All Questions Answers | Votes Newest

16 (How) can you model broadcasts in the pi-calculus? Mar 19 '12
12 Expressiveness of Büchi vs CTL(*) Jun 19 '12
7 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
4 Inductive definition of ECTL*: how are recursive formulas forbidden? Jan 14 '13
2 What is the space complexity of CTL model checking? Jan 9 '15
1 How to show that ECTL* is more expressive than CTL* $\cup$ Büchi (with an example) Jan 22 '13

Badges (17)

Gold

—

Silver

3

Rarest

Bronze

14

Rarest

View all badges →