T. M. Rabehaja

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 1

Top Topics

Communication Networks

Multi Context Systems

Information Flows

Top Venues

J. Log. Algebraic Methods Program.

Publications

A. K. McIver, Carroll C. Morgan, T. M. Rabehaja
Program algebra for quantitative information flow. J. Log. Algebraic Methods Program. 106 (2019)
T. M. Rabehaja, Jeff W. Sanders
Data Refinement with Probability in Mind. Electron. Notes Theor. Comput. Sci. 259 (2009)
T. M. Rabehaja, Jeff W. Sanders
Refinement Algebra with Explicit Probabilism. TASE (2009)