Centrum Wiskunde & Informatica

An assertion-based proof system for multithreaded Java Article

Theoretical Computer Science, 331(2-3), 251-290.

E. Abraham (Erika), F.S. de Boer (Frank), W.P. de Roever and M. Steffen

January 2005
Foundations - chapter III Book Chapter

F. Arbab (Farhad), F.S. de Boer (Frank), M.M. Bonsangue (Marcello), L.W.N. van der Torre (Leon) and not CWI et al

January 2005
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications, Coordination Models and Languages In Proceedings

F. Arbab (Farhad), C. Baier, F.S. de Boer (Frank), J.J.M.M. Rutten (Jan) and M. Sirjani (Marjan)

January 2005
Argumentation for access control In Proceedings

G. Boella (Guido), J. Hulstijn and L.W.N. van der Torre (Leon)

January 2005
Argument games for interactive access control In Proceedings

G. Boella (Guido), J. Hulstijn and L.W.N. van der Torre (Leon)

January 2005
Admissible Agreements among Goal-directed Agents In Proceedings

G. Boella (Guido), J. Hulstijn and L.W.N. van der Torre (Leon)

January 2005
Role-based Rights in Artificial Social Systems In Proceedings

G. Boella (Guido) and L.W.N. van der Torre (Leon)

January 2005
Enforceable Social Laws In Proceedings

G. Boella (Guido) and L.W.N. van der Torre (Leon)

January 2005

Previous

Next