A predicate spatial logic for mobile process
From MaRDI portal
Publication:866088
zbMath1161.68575MaRDI QIDQ866088
Publication date: 20 February 2007
Published in: Science in China. Series F (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: A predicate spatial logic for mobile process
