A Formalization of the Process Algebra CCS in Higher Order Logic (1992)

Cached

Download Links

by Monica Nesi
Citations:9 - 0 self