Author of the publication

A Process Algebra for Link Layer Protocols.

, , and . ESOP, volume 11423 of Lecture Notes in Computer Science, page 668-693. Springer, (2019)

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.

 

Other publications of authors with the same name

An algebra of product families., , and . Softw. Syst. Model., 10 (2): 161-182 (2011)Relational characterisations of paths., , , and . J. Log. Algebraic Methods Program., (2020)Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom., , and . LICS, page 1-13. IEEE, (2021)Effect Algebras, Girard Quantales and Complementation in Separation Logic., , and . RAMiCS, volume 13027 of Lecture Notes in Computer Science, page 37-53. Springer, (2021)A Lean-Congruence Format for EP-Bisimilarity., , and . EXPRESS/SOS, volume 387 of EPTCS, page 59-75. (2023)Preface., , and . Acta Inf., 57 (3-5): 305-311 (2020)Feature interactions, products, and composition, , and . ACM SIGPLAN Notices, 47, page 13--22. ACM, (2011)Relational Characterisations of Paths., and . Arch. Formal Proofs, (2020)Advanced Models for the OSPF Routing Protocol., , , and . MARS@ETAPS, volume 355 of EPTCS, page 13-26. (2022)Relational and algebraic methods in computer science., , and . J. Log. Algebraic Methods Program., (2019)