User DaveBall aka user750378

16 votes

1 answer

789 views

(How) can you model broadcasts in the pi-calculus?

asked Mar 19, 2012 at 12:13

12 votes

2 answers

1k views

Expressiveness of Büchi vs CTL(*)

asked Jun 19, 2012 at 10:55

7 votes

1 answer

194 views

Can choice or sequential execution be expressed with other basic operators of the pi calculus?

asked Jul 13, 2015 at 12:12

5 votes

2 answers

267 views

Are there temporal logics linear time properties that only have counterexamples that are more complex than a lasso?

asked Jul 29, 2015 at 18:50

5 votes

1 answer

3k views

What is the worst-case runtime complexity to transform a NFA to DFA via Rabin-Scott's power set construction?

asked Dec 11, 2014 at 21:46

4 votes

2 answers

394 views

Inductive definition of ECTL*: how are recursive formulas forbidden?

asked Jan 14, 2013 at 14:31

2 votes

1 answer

407 views

What is the space complexity of CTL model checking?

asked Jan 9, 2015 at 12:23

1 vote

1 answer

584 views

How to show that ECTL* is more expressive than CTL* $\cup$ Büchi (with an example)

asked Jan 22, 2013 at 19:53

Stack Exchange Network

8 Questions

(How) can you model broadcasts in the pi-calculus?

Expressiveness of Büchi vs CTL(*)

Can choice or sequential execution be expressed with other basic operators of the pi calculus?

Are there temporal logics linear time properties that only have counterexamples that are more complex than a lasso?

What is the worst-case runtime complexity to transform a NFA to DFA via Rabin-Scott's power set construction?

Inductive definition of ECTL*: how are recursive formulas forbidden?

What is the space complexity of CTL model checking?

How to show that ECTL* is more expressive than CTL* $\cup$ Büchi (with an example)