Chi-Chang Jou

According to our database, Chi-Chang Jou authored at least 2 papers in 1990.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1990

Algebraic Reasoning for Probabilistic Concurrent Systems.

Alessandro Giacalone, Chi-Chang Jou, Scott A. Smolka

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes.

Chi-Chang Jou, Scott A. Smolka

Proceedings of the CONCUR '90, 1990