Author of the publication

Responsive Bisimulation.

, and . IFIP TCS, volume 223 of IFIP Conference Proceedings, page 601-612. Kluwer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Models for Concurrent Eiffel., and . TOOLS (6), page 183-191. Prentice Hall, (1992)Designing for Reusability.. TOOLS (6), page 239. Prentice Hall, (1992)Characterisation of Terminating Logic Programs., and . SLP, page 140-147. IEEE-CS, (1986)Simple Ownership Types for Object Containment., , and . ECOOP, volume 2072 of Lecture Notes in Computer Science, page 53-76. Springer, (2001)On Ownership and Accessibility., and . ECOOP, volume 4067 of Lecture Notes in Computer Science, page 99-123. Springer, (2006)Component Composition with Sharing., and . ECOOP Workshops, volume 1543 of Lecture Notes in Computer Science, page 141-142. Springer, (1998)Scalability for graph based CASE tools., and . APSEC, page 317-326. IEEE, (1994)ΚΛΗΜΕΝΤΟΣ ΑΛΕΧΑΝΔΡΕΩΣ ΤΑ ΕΥΡΙΣΚΟΜΕΝΑ. CLEMENTIS ALEXANDRINI OPERA QUAE EXTANT. Mortlock, Oxford, (1715)Primary pupils' use of information and communication technologies at school and home., , and . Br. J. Educ. Technol., 40 (5): 919-932 (2009)A graphical definition of authorization schema in the DTAC model., and . SACMAT, page 109-120. ACM, (2001)