( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Formal Modeling of Agent Computations.

, , , , , , и . FAABS, том 1871 из Lecture Notes in Computer Science, стр. 48-62. Springer, (2000)

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.

Enrique A J Lynch Frigeiro

John Lynch

Philip Lynch

Matthew Lynch

Grit Lynch

 

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

Verifying timing properties of concurrent algorithms., , , и . FORTE, том 6 из IFIP Conference Proceedings, стр. 259-273. Chapman & Hall, (1994)Reliable Broadcast in Networks with Nonprogrammable Servers., , и . ICDCS, стр. 428-437. IEEE Computer Society, (1988)On the Borowsky-Gafni Simulation Algorithm., и . ISTCS, стр. 4-15. IEEE Computer Society, (1996)Safety Verification for Automated Platoon Maneuvers: A Case Study., и . HART, том 1201 из Lecture Notes in Computer Science, стр. 154-170. Springer, (1997)A General Characterization of Indulgence., и . SSS, том 4280 из Lecture Notes in Computer Science, стр. 16-34. Springer, (2006)Specifications and Proofs for Ensemble Layers., , и . TACAS, том 1579 из Lecture Notes in Computer Science, стр. 119-133. Springer, (1999)Computer-Assisted Simulation Proofs., , , , и . CAV, том 697 из Lecture Notes in Computer Science, стр. 305-319. Springer, (1993)Multicast Group Communication as a Base for a Load-Balancing Replicated Data Service., , и . DISC, том 1499 из Lecture Notes in Computer Science, стр. 258-272. Springer, (1998)Modeling Radio Networks., и . CONCUR, том 5710 из Lecture Notes in Computer Science, стр. 481-495. Springer, (2009)Forward and Backward Simulations for Timing-Based Systems., и . REX Workshop, том 600 из Lecture Notes in Computer Science, стр. 397-446. Springer, (1991)