( en | de | ru )

 

Disambiguation of "Diaz, Michel"

Author of the publication

copydeleteadd this publication to your clipboard
Formal design and development of a Corba-based application for cooperative HTML group editing support.

, , and . J. Syst. Softw., 60 (2): 113-127 (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.

Gonzalo Díaz Díaz

Leonardo Díaz

Carlos Diaz Cascajo

Maria Diaz Lorente

Diana Diaz

 

Other publications of authors with the same name

Path prediction for resource reservation between mobile nodes., , and . WCNC, page 2073-2078. IEEE, (2009)Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models.. Comput. Networks, 6 (6): 419-441 (1982)An Aggregated Delay|Bandwidth Star Scheme for Admission Control., , and . PIMRC, page 1-8. IEEE, (2007)On-Set Realization of Fail-Safe Sequential Machines., , and . IEEE Trans. Computers, 23 (2): 133-138 (1974)Modelling Time Using Petri Nets.. Carl Adam Petri: Ideas, Personality, Impact, Springer, (2019)Multiple Enabledness of Transitions in Petri Nets with Time., and . PNPM, page 219-228. IEEE Computer Society, (2001)Bringing Mobility to Synchronous Collaborative Activities: Recent Enhancements of the "Platine" Platform., , , , , , , and . WMTE, page 59-61. IEEE Computer Society, (2005)Axioms of Communication Using Temporal Logic with Past., and . PSTV, page 387-399. North-Holland, (1989)Design and implementation of coordination protocols for distributed cooperating objects: A general graph-based technique applied to CORBA., , and . FMOODS, volume 139 of IFIP Conference Proceedings, Kluwer, (1999)Observer-A Concept for Formal On-Line Validation of Distributed Systems., , and . IEEE Trans. Software Eng., 20 (12): 900-913 (1994)