| 9:20 | - | 9:30 |
|
Welcome |
| 9:30 | - | 10:15 |
|
Wan Fokkink
(VU Amsterdam, NL)
|
| | | |
Why Modal Characterizations of Process Semantics Totally Rock |
| 10:15 | - | 10:30 |
|
Coffee break |
| 10:30 | - | 11:15 |
|
Bas Luttik
(TU Eindhoven, NL)
|
| | | |
Regular Expressions with Parallel Composition modulo Bisimilarity |
| 11:15 | - | 12:00 |
|
Matteo Cimini
(RU Reykjavik, IS)
|
| | | |
A Rule Format for Distributivity |
| 12:00 | - | 13:30 |
|
Lunch break |
| 13:30 | - | 14:15 |
|
Michel Reniers
(TU Eindhoven, NL)
|
| | | |
The Virtue of Symbolic SOS |
| 14:15 | - | 14:45 |
|
Coffee break |
| 14:45 | - | 15:30 |
|
MohammadReza Mousavi
(TU Eindhoven, NL)
|
| | | |
Buy Three, Get One Free! SOS, Axiomatization, and Algebraic Properties On Sale |
| 15:30 | - | 16:15 |
|
Georgiana Caltais, Eugen-Ioan Goriac
(RU Reykjavik, IS)
|
| | | |
Axiomatizing GSOS with Predicates
[pdf1]
[pdf2]
[tool]
|
