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

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