Chi-Chang Jou

Publication Activity (10 Years)

Years Active: 1990-1990
Publications (10 Years): 0

Publications

Chi-Chang Jou, Scott A. Smolka
Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes. CONCUR (1990)
Alessandro Giacalone, Chi-Chang Jou, Scott A. Smolka
Algebraic Reasoning for Probabilistic Concurrent Systems. Programming Concepts and Methods (1990)