( en | de | ru )

 

Disambiguation of "Banach, Richard"

Author of the publication

copydeleteadd this publication to your clipboard
Term Graph Rewriting and Garbage Collection Using Ppfibrations.

. Theor. Comput. Sci., 131 (1): 29-94 (1994)

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.

Ulrich Banach

Ralf Banach

Henryk Banach

Thomas Banach

Jens Banach

 

Other publications of authors with the same name

Retrenchment: An Engineering Variation on Refinement., and . B, volume 1393 of Lecture Notes in Computer Science, page 129-147. Springer, (1998)Punishment not Reward: Disincentivising Blockchain Application Misbehaviour.. IEEE ICBC, page 185-187. IEEE, (2019)Invariant Guided System Decomposition.. ABZ, volume 8477 of Lecture Notes in Computer Science, page 271-276. Springer, (2014)Implementing interaction nets in MONSTR., and . SAC, page 509-514. ACM, (1997)The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits., and . Formal Aspects Comput., 25 (4): 609-657 (2013)Retrenchment for Event-B: UseCase-wise development and Rodin integration.. Formal Aspects Comput., 23 (1): 113-131 (2011)Contemplating the Addition of Stochastic Behaviour to Hybrid Event-B.. TASE, page 42-49. IEEE Computer Society, (2014)Retrenchment: Extending the Reach of Refinement., and . ASE, page 158-165. IEEE Computer Society, (1999)Simulation and formal modelling of yaw control in a drive-by-wire application., , and . FedCSIS, volume 5 of Annals of Computer Science and Information Systems, page 731-742. IEEE, (2015)A Hybrid Event-B Study of Lane Centering., and . CSDM, page 97-111. Springer, (2013)