Process Logic: Expressiveness, Decidability, Completeness

David Harel, Dexter Kozen, Rohit Parikh. Process Logic: Expressiveness, Decidability, Completeness. In 21st Annual Symposium on Foundations of Computer Science, 13-15 October 1980, Syracuse, New York, USA. pages 129-142, IEEE, 1980.

Abstract

Abstract is missing.