DMCA

Relating State-Based and Process-Based Concurrency through Linear Logic (2006)

by Iliano Cervesato , Andre Scedrov
Citations:20 - 3 self