( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Relational concurrent refinement part II: Internal operations and outputs.

, , и . Formal Aspects Comput., 21 (1-2): 65-102 (2009)

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.

Derrick Puffett

Derrick Haaf

Derrick Wood

Derrick Newton

Aubrey-Derrick Schmidt

 

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

Verifying C11 Programs Operationally., , , и . CoRR, (2018)Calculating upward and downward simulations of state-based specifications., и . Inf. Softw. Technol., 41 (13): 917-923 (1999)Verifying fault-tolerant Erlang programs., , и . Erlang Workshop, стр. 26-34. ACM, (2005)Using Coupled Simulations in Non-atomic Refinement., и . ZB, том 2651 из Lecture Notes in Computer Science, стр. 127-147. Springer, (2003)Stochastic Specification and Verification., и . IWFM, BCS, (1999)On Strong Observational Refinement and Forward Simulation., , , , и . CoRR, (2021)Guest Editorial Integrated Formal Methods., , и . Formal Aspects Comput., 17 (4): 389-389 (2005)Inference of Extended Finite State Machines., , , и . Arch. Formal Proofs, (2020)Data refinement for true concurrency, и . Refine@IFM, том 115 из EPTCS, стр. 15-35. (2013)Refinement of objects and operations in Object-Z., и . FMOODS, том 177 из IFIP Conference Proceedings, стр. 257-277. Kluwer, (2000)