nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A general approach to comparing infinite-state systems with their finite-state specifications
|
Kučera, Antonín |
|
2006 |
358 |
2-3 |
p. 315-333 19 p. |
artikel |
2 |
Asynchronous games 2: The true concurrency of innocence
|
Melliès, Paul-André |
|
2006 |
358 |
2-3 |
p. 200-228 29 p. |
artikel |
3 |
Author index
|
|
|
2006 |
358 |
2-3 |
p. 334- 1 p. |
artikel |
4 |
Characterizing EF and EX tree logics
|
Bojańczyk, Mikolaj |
|
2006 |
358 |
2-3 |
p. 255-272 18 p. |
artikel |
5 |
Editorial
|
Gardner, Philippa |
|
2006 |
358 |
2-3 |
p. 149- 1 p. |
artikel |
6 |
Elimination of quantifiers and undecidability in spatial logics for concurrency
|
Caires, Luís |
|
2006 |
358 |
2-3 |
p. 293-314 22 p. |
artikel |
7 |
Message-passing automata are expressively equivalent to EMSO logic
|
Bollig, Benedikt |
|
2006 |
358 |
2-3 |
p. 150-172 23 p. |
artikel |
8 |
Model checking restricted sets of timed paths
|
Markey, Nicolas |
|
2006 |
358 |
2-3 |
p. 273-292 20 p. |
artikel |
9 |
Probabilistic event structures and domains
|
Varacca, Daniele |
|
2006 |
358 |
2-3 |
p. 173-199 27 p. |
artikel |
10 |
Resource control for synchronous cooperative threads
|
Amadio, Roberto M. |
|
2006 |
358 |
2-3 |
p. 229-254 26 p. |
artikel |