Author of the publication

A Typed Model for Encoding-Based Protocol Interoperability.

, , and . ICNP, page 72-83. IEEE Computer Society, (2004)

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

Safe Compositional Equation-based Modeling of Constrained Flow Networks., , , and . EOOLT, volume 56 of Linköping Electronic Conference Proceedings, page 35-44. Linköping University Electronic Press, (2011)A Basis for Theoretical Computer Science., , and . Texts and Monographs in Computer Science Springer, (1981)Programming Examples Needing Polymorphic Recursion., and . ITRS, volume 136 of Electronic Notes in Theoretical Computer Science, page 57-102. Elsevier, (2004)Safe compositional network sketches: formal framework., , , and . HSCC, page 231-241. ACM, (2010)A calculus for java's reference objects., and . ACM SIGPLAN Notices, 42 (8): 9-17 (2007)The Complexity of Restricted Variants of the Stable Paths Problem., , and . Fundam. Informaticae, 103 (1-4): 69-87 (2010)A Typed Model for Encoding-Based Protocol Interoperability., , and . ICNP, page 72-83. IEEE Computer Society, (2004)Typed Abstraction of Complex Network Compositions., , , and . ICNP, page 289-300. IEEE Computer Society, (2005)MORPHOSYS: Efficient Colocation of QoS-Constrained Workloads in the Cloud., , and . CoRR, (2019)A Programming Approach to Computability, , and . Texts and Monographs in Computer Science Springer, (1982)