CCS Semantics via Proved Transition Systems and Rewriting Logic (1998)

Cached

Download Links

by Georgia Carabetta , Pierpaolo Degano , Fabio Gadducci
Venue:In Kirchner and Kirchner [47
Citations:7 - 1 self