a predicate spatial logic for mobile processes

Autoria(s): Lin Huimin
Data(s)

2004
Identificador

http://ir.iscas.ac.cn/handle/311060/4492

http://www.irgrid.ac.cn/handle/1471x/66876
Fonte

Lin Huimin.a predicate spatial logic for mobile processes,Science in China Series F-information Sciences,2004,47(3):394-408
Palavras-Chave #modal logic #predicate mu-calculus #model checking #mobile processes #asynchronous pi-calculus
Tipo

期刊论文
Acesso ao item digital