Centrum Wiskunde & Informatica

Using Reo for Service Coordination In Proceedings

A. Lazovik (Aliaksandr) and F. Arbab (Farhad)

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
A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs In Proceedings

F.S. de Boer (Frank)

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
Process Algebra Book Chapter

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

January 2007
Duplication of Constants in Process Algebra Article

Journal of Logic and Algebraic Programming, 70(2), 151-171.

J.C.M. Baeten (Jos) and M.A. Reniers (Michel)

January 2007
A Characterization of Regular Expressions under Bisimulation Article

Journal of the ACM, 54(2), 1-28.

J.C.M. Baeten (Jos), F. Corradini and C.A. Grabmayer

January 2007
A coalgebraic view on bi-infinite streams (Abstract) In Proceedings

A.M. Silva (Alexandra)

January 2007

Previous

Next