| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Axiomatizations for probabilistic finite-state behaviors
|
Deng, Yuxin
|
|
2007
|
373 |
1-2 |
p. 92-114
23 p.
|
artikel
|
| 2 |
Compact and tractable automaton-based representations of time granularities
|
Dal Lago, Ugo
|
|
2007
|
373 |
1-2 |
p. 115-141
27 p.
|
artikel
|
| 3 |
Conjunction on processes: Full abstraction via ready-tree semantics
|
Lüttgen, Gerald
|
|
2007
|
373 |
1-2 |
p. 19-40
22 p.
|
artikel
|
| 4 |
Editorial Board
|
|
|
2007
|
373 |
1-2 |
p. v-ix
nvt p.
|
artikel
|
| 5 |
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time
|
Danicic, Sebastian
|
|
2007
|
373 |
1-2 |
p. 1-18
18 p.
|
artikel
|
| 6 |
Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
|
Clavel, Manuel
|
|
2007
|
373 |
1-2 |
p. 70-91
22 p.
|
artikel
|
| 7 |
Space-aware ambients and processes
|
Barbanera, Franco
|
|
2007
|
373 |
1-2 |
p. 41-69
29 p.
|
artikel
|
| 8 |
Towards “dynamic domains”: Totally continuous cocomplete Q -categories
|
Stubbe, Isar
|
|
2007
|
373 |
1-2 |
p. 142-160
19 p.
|
artikel
|
Tijdschrift beschrijving