The top documents tagged [following encoding of]

Mobile Calculi

Mobile Calculi

34 views
MPRI – Course on Concurrency Lectures 11 and 12 The pi-calculus expressiveness hierarchy Catuscia Palamidessi INRIA Futurs and LIX catuscia@lix.polytechnique.fr.

MPRI – Course on Concurrency Lectures 11 and 12 The pi-calculus expressiveness hierarchy Catuscia Palamidessi INRIA Futurs and LIX [email protected].

214 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS