| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A coordination protocol language for power grid operation control
|
Abd Alrahman, Yehia
|
|
2019
|
109 |
C |
p.
|
artikel
|
| 2 |
A dynamic logic for learning theory
|
Baltag, Alexandru
|
|
2019
|
109 |
C |
p.
|
artikel
|
| 3 |
Axiomatization and characterization of BSP algorithms
|
Marquer, Yoann
|
|
2019
|
109 |
C |
p.
|
artikel
|
| 4 |
Connecting open systems of communicating finite state machines
|
Barbanera, Franco
|
|
2019
|
109 |
C |
p.
|
artikel
|
| 5 |
CoReS: A tool for computing core graphs via SAT/SMT solvers
|
König, Barbara
|
|
2019
|
109 |
C |
p.
|
artikel
|
| 6 |
Editorial Board
|
|
|
2019
|
109 |
C |
p.
|
artikel
|
| 7 |
Ensuring liveness properties of distributed systems: Open problems
|
van Glabbeek, Rob
|
|
2019
|
109 |
C |
p.
|
artikel
|
| 8 |
From distributed coordination to field calculus and aggregate computing
|
Viroli, Mirko
|
|
2019
|
109 |
C |
p.
|
artikel
|
| 9 |
Graph transformation through graph surfing in reaction systems
|
Kreowski, Hans-Jörg
|
|
2019
|
109 |
C |
p.
|
artikel
|
| 10 |
Guest editors' foreword
|
Galpin, Vashti
|
|
2019
|
109 |
C |
p.
|
artikel
|
| 11 |
On the essence and initiality of conflicts in M -adhesive transformation systems
|
Grochau Azzi, Guilherme
|
|
2019
|
109 |
C |
p.
|
artikel
|
| 12 |
Preface for the special issue on Interaction and Concurrency Experience 2017
|
Bartoletti, Massimo
|
|
2019
|
109 |
C |
p.
|
artikel
|
Tijdschrift beschrijving