On decidability and model checking for a first order modal logic for value-passing process

zbMATH Open1161.68592MaRDI QIDQ866004

Rui Xue, Huimin Lin

Publication date: 20 February 2007

Published in: Science in China. Series F (Search for Journal in Brave)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Model Checking Value-Passing Modal Specifications ⋮ Unnamed Item

This page was built for publication: On decidability and model checking for a first order modal logic for value-passing process