Login / Signup

On the expressiveness of π-calculus for encoding mobile ambients.

Linda Brodo
Published in: Math. Struct. Comput. Sci. (2018)
Keyphrases