Publication
-
Is timed branching bisimilarity a congruence indeed? Article
Fundamenta Informaticae, 87(3/4), 287-311.September 2008 -
September 2008
-
Doe-het-zelf PR Article
I/O ICT Onderzoek, 5(4), 3-3.September 2008
-
A comparison between the ALGOL 60 implementations on the Electrologica X1 and the Electrologica X8 Tech Report
September 2008
-
Generalized Key Delegation for Hierarchical Identity-Based Encryption Article
IET Information Security, 2(3), 67-78.September 2008 -
Autonomous Scheduling with Unbounded and Bounded Agents In Proceedings
September 2008 -
Towards a Method for the Evaluation of Reference Architectures: Experiences from a Case In Proceedings
September 2008
-
September 2008