Centrum Wiskunde & Informatica

Process Algebra Book Chapter

J.C.M. Baeten (Jos), D.A. van Beek and J.E. Rooda (Jacobus)

January 2007
Special Issue on Automata, Languages and Programming Article

Theoretical Computer Science, 379(3), 305-305.

J.C.M. Baeten (Jos), J.K. Lenstra (Jan Karel) and G.J. Woeginger

January 2007
A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs In Proceedings

F.S. de Boer (Frank)

January 2007
A verification framework for agent programming with declarative goals Article

Journal of Applied Logic, 5(2), 277-302.

F.S. de Boer (Frank), K.V. Hindriks, W. van der Hoek (Wiebe) and J.-J.C. Meyer (John-Jules)

January 2007
Graphical Definition of In-place Transformations in the Eclipse Modeling Framework In Proceedings

E. Biermann, K. Ehrig, C. Krause (born Köhler) (Christian), G. Kuhns, G. Taentzer and E. Weiss

January 2007
Connector Rewriting with High-Level Replacement Systems In Proceedings

C. Krause (born Köhler) (Christian), A. Lazovik (Aliaksandr) and F. Arbab (Farhad)

January 2007
ReoService: Coordination Modeling Tool In Proceedings

C. Krause (born Köhler) (Christian), A. Lazovik (Aliaksandr) and F. Arbab (Farhad)

January 2007
Calculating lower bounds for caching problems Article

Computing, 80(3), 275-285.

L. Epstein (Lea) and R. van Stee (Rob)

January 2007

Previous

Next