( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Atomic actions, and their refinements to isolated protocols.

, и . Formal Aspects Comput., 22 (1): 33-61 (2010)

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.

Ulrich Banach

Ralf Banach

Thomas Banach

Henryk Banach

Jens Banach

 

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

Graded Refinement, Retrenchment, and Simulation.. ACM Trans. Softw. Eng. Methodol., 32 (2): 29:1-29:69 (апреля 2023)Atomic actions, and their refinements to isolated protocols., и . Formal Aspects Comput., 22 (1): 33-61 (2010)Sharp Retrenchment, Modulated Refinement and Simulation., и . Formal Aspects Comput., 11 (5): 498-540 (1999)Core Hybrid Event-B III: Fundamentals of a reasoning framework.. Sci. Comput. Program., (января 2024)Controlling Control Systems: An Application of Evolving Retrenchment., и . ZB, том 2272 из Lecture Notes in Computer Science, стр. 42-61. Springer, (2002)UseCase-Wise Development: Retrenchment for Event-B.. ABZ, том 5238 из Lecture Notes in Computer Science, стр. 167-180. Springer, (2008)Modelling and Refining Hybrid Systems in Event-B and Rodin., , и . From Action Systems to Distributed Systems, Chapman and Hall/CRC, (2016)Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System., , , , , , , и . ICSOFT, стр. 698-705. SciTePress, (2018)Term Graph Rewriting and Garbage Collection Using Ppfibrations.. Theor. Comput. Sci., 131 (1): 29-94 (1994)Retrenchment and the Mondex Electronic Purse., , , и . Abstract State Machines, стр. 41-48. (2005)