Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report (1996)

Cached

Download Links

by José Meseguer
Citations:82 - 22 self