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

zbMATH Open1161.68592MaRDI QIDQ866004FDOQ866004

Authors: Rui Xue, Huimin Lin 

Publication date: 20 February 2007

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

Recommendations

• scientific article; zbMATH DE number 1231562
• scientific article; zbMATH DE number 1088043
• On logics with two variables
• A modal logic for message passing processes
• Decidability of modular logics for concurrency

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)

Cited In (3)

• Model Checking Value-Passing Modal Specifications
• Title not available (Why is that?)
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q866004)