Predicate μ-calculus for mobile ambients

---

Autoria(s): Lin Huimin

Data(s)	2005
Identificador	http://ir.iscas.ac.cn/handle/311060/4464 http://www.irgrid.ac.cn/handle/1471x/66833
Fonte	Lin Huimin.Predicate μ-calculus for mobile ambients,Springer New York LLC,2005,20(1):95-104
Palavras-Chave	#model checking #mobile ambients #spatial logic #mu-calculus #fixpoints
Tipo	期刊论文