| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An automated system repair framework with signal temporal logic
|
Ergurtuna, Mert
|
|
|
|
2-3 |
p. 183-209
|
artikel
|
| 2 |
CCS: It’s not fair!
|
Glabbeek, Rob J. van
|
|
2015
|
|
2-3 |
p. 175-205
|
artikel
|
| 3 |
Correction to: Sound reasoning in tock-CSP
|
Baxter, James
|
|
|
|
2-3 |
p. 283
|
artikel
|
| 4 |
Genericity and the π-calculus
|
Berger, Martin
|
|
2005
|
|
2-3 |
p. 83-141
|
artikel
|
| 5 |
Limit laws for terminal nodes in random circuits with restricted fan-out: a family of graphs generalizing binary search trees
|
Mahmoud, Hosam
|
|
2004
|
|
2-3 |
p. 99-110
|
artikel
|
| 6 |
Maintaining mobile transactional consistency in hybrid broadcast environments
|
Kim, SungSuk
|
|
2004
|
|
2-3 |
p. 65-81
|
artikel
|
| 7 |
Modal algebra and Petri nets
|
Dang, Han-Hing
|
|
2015
|
|
2-3 |
p. 109-132
|
artikel
|
| 8 |
MOMI: a calculus for mobile mixins
|
Bettini, Lorenzo
|
|
2005
|
|
2-3 |
p. 143-190
|
artikel
|
| 9 |
Moving from interface theories to assembly theories
|
Hennicker, Rolf
|
|
2015
|
|
2-3 |
p. 235-268
|
artikel
|
| 10 |
Observable liveness of Petri nets
|
Desel, Jörg
|
|
2015
|
|
2-3 |
p. 153-174
|
artikel
|
| 11 |
On constructibility and unconstructibility of LTS operators from other LTS operators
|
Valmari, Antti
|
|
2015
|
|
2-3 |
p. 207-234
|
artikel
|
| 12 |
Project scheduling with irregular costs: complexity, approximability, and algorithms
|
Grigoriev, Alexander
|
|
2004
|
|
2-3 |
p. 83-97
|
artikel
|
| 13 |
Proportional lumpability and proportional bisimilarity
|
Marin, Andrea
|
|
|
|
2-3 |
p. 211-244
|
artikel
|
| 14 |
P systems with symport/antiport simulating counter automata
|
Frisco, Pierluigi
|
|
2004
|
|
2-3 |
p. 145-170
|
artikel
|
| 15 |
Refinement checking on parametric modal transition systems
|
Beneš, Nikola
|
|
2015
|
|
2-3 |
p. 269-297
|
artikel
|
| 16 |
Regular numeral systems for data structures
|
Elmasry, Amr
|
|
|
|
2-3 |
p. 245-281
|
artikel
|
| 17 |
Special issue on “Comprehending asynchrony in specification and analysis” dedicated to Walter Vogler on the occasion of his 60th birthday
|
Lüttgen, Gerald
|
|
2015
|
|
2-3 |
p. 107-108
|
artikel
|
| 18 |
State space axioms for T-systems
|
Best, Eike
|
|
2015
|
|
2-3 |
p. 133-152
|
artikel
|
| 19 |
Subtyping for session types in the pi calculus
|
Gay, Simon
|
|
2005
|
|
2-3 |
p. 191-225
|
artikel
|
| 20 |
Three-element codes with one d-primitive word
|
Li, Zheng-Zhu
|
|
2004
|
|
2-3 |
p. 171-180
|
artikel
|
| 21 |
Trading polarizations for labels in P systems with active membranes
|
Alhazov, Artiom
|
|
2004
|
|
2-3 |
p. 111-144
|
artikel
|
| 22 |
Types in concurrency
|
Nicola, Rocco De
|
|
2005
|
|
2-3 |
p. 79-81
|
artikel
|
Tijdschrift beschrijving