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

by Iliano Cervesato , Andre Scedrov
Citations:12 - 1 self