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

by I Cervesato, A Scedrov
Venue:Electron. Notes Theor. Comput. Sci