Back to Results
First PageMeta Content
Formal methods / Process calculus / Denotational semantics / Algebra of Communicating Processes / Communicating sequential processes / Algebraic structure / Universal algebra / Construction and Analysis of Distributed Processes / Calculus of communicating systems / Process calculi / Theoretical computer science / Mathematics


Document Date: 2004-01-13 10:32:24

Open Document

File Size: 177,49 KB

Share Result on Facebook
UPDATE