( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Petri net based models for the specification and validation of protocols.

, и . European Workshop on Applications and Theory in Petri Nets, том 188 из Lecture Notes in Computer Science, стр. 101-121. Springer, (1984)

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.

Gonzalo Díaz Díaz

Leonardo Díaz

Carlos Diaz Cascajo

Maria Diaz Lorente

Diana Diaz

 

Другие публикации лиц с тем же именем

Design and implementation of coordination protocols for distributed cooperating objects: A general graph-based technique applied to CORBA., , и . FMOODS, том 139 из IFIP Conference Proceedings, Kluwer, (1999)Axioms of Communication Using Temporal Logic with Past., и . PSTV, стр. 387-399. North-Holland, (1989)Observer-A Concept for Formal On-Line Validation of Distributed Systems., , и . IEEE Trans. Software Eng., 20 (12): 900-913 (1994)Design, Specification and Validation of Hierarchies of Protocols in Distributed Systems., , и . Current Trends in Concurrency, том 224 из Lecture Notes in Computer Science, Springer, (1986)A Model for Content and Communication Management in Synchronous Learning., , , , , , и . J. Educ. Technol. Soc., 8 (3): 187-205 (2005)Modeling and Verification of Time Dependent Systems Using Time Petri Nets., и . IEEE Trans. Software Eng., 17 (3): 259-273 (1991)A Novel Bandwidth Broker Architecture Based on Topology Aggregation in Delay|Bandwidth Sensitive Networks., , и . Networking, том 4982 из Lecture Notes in Computer Science, стр. 482-493. Springer, (2008)A Cooperation Service for CORBA Objects. From the Model to the Applications., , и . Euro-Par, том 1685 из Lecture Notes in Computer Science, стр. 769-776. Springer, (1999)Modelling Time Using Petri Nets.. Carl Adam Petri: Ideas, Personality, Impact, Springer, (2019)An Aggregated Delay|Bandwidth Star Scheme for Admission Control., , и . PIMRC, стр. 1-8. IEEE, (2007)