Back to Results
First PageMeta Content
Theoretical computer science / Process calculi / Models of computation / Logic in computer science / Concurrency / Π-calculus / Petri net / Model checking / Function / Mathematics / Applied mathematics / Logic


Topics in Concurrency Lecture Notes Glynn Winskel c 2001[removed]Glynn Winskel
Add to Reading List

Document Date: 2009-04-09 12:07:48

Open Document

File Size: 664,08 KB

Share Result on Facebook
UPDATE