( en | de | ru )

 

Disambiguation of "Diaz, Michel"

Author of the publication

copydeleteadd this publication to your clipboard
Specification and Validation of Protocols by Temporal Logic and Nets.

, and . IFIP Congress, page 47-52. North-Holland/IFIP, (1983)

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

Roland Arturo Diaz-Bone

 

Other publications of authors with the same name

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)Axioms of Communication Using Temporal Logic with Past., and . PSTV, page 387-399. North-Holland, (1989)Observer-A Concept for Formal On-Line Validation of Distributed Systems., , and . IEEE Trans. Software Eng., 20 (12): 900-913 (1994)Design, Specification and Validation of Hierarchies of Protocols in Distributed Systems., , and . Current Trends in Concurrency, volume 224 of Lecture Notes in Computer Science, Springer, (1986)A Novel Bandwidth Broker Architecture Based on Topology Aggregation in Delay|Bandwidth Sensitive Networks., , and . Networking, volume 4982 of Lecture Notes in Computer Science, page 482-493. Springer, (2008)A Model for Content and Communication Management in Synchronous Learning., , , , , , and . J. Educ. Technol. Soc., 8 (3): 187-205 (2005)Modeling and Verification of Time Dependent Systems Using Time Petri Nets., and . IEEE Trans. Software Eng., 17 (3): 259-273 (1991)A Cooperation Service for CORBA Objects. From the Model to the Applications., , and . Euro-Par, volume 1685 of Lecture Notes in Computer Science, page 769-776. Springer, (1999)On-Set Realization of Fail-Safe Sequential Machines., , and . IEEE Trans. Computers, 23 (2): 133-138 (1974)Modeling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models.. Comput. Networks, 6 (6): 419-441 (1982)