on decidability and model checking for a first order modal logic for value-passing processes

Autoria(s): Rui Xue; Lin Huimin
Data(s)

2003
Identificador

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

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

Rui Xue; Lin Huimin.on decidability and model checking for a first order modal logic for value-passing processes,Science in China Series F: Information Sciences,2003,46(1):45-59
Palavras-Chave #first order modal logic #decidability #model checking #value-passing processes
Tipo

期刊论文
Acesso ao item digital