Process Logic: Expressiveness, Decidability, Completeness (1982)

Cached

Download Links

by David Harel , Dexter Kozen , Rohit Parikh
Citations:40 - 1 self