A logical encoding of the -calculus: Model checking mobile processes using tabled resolution

DOI10.1007/3-540-36384-X_12MaRDI QIDQ4414384zbMATH OpenFDO

Authors C. R. Ramakrishnan, Scott A. Smolka, Ping Yang

Publication date 25 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2575/25750116.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Model checking mobile processes
• CONCUR 2005 – Concurrency Theory
• scientific article; zbMATH DE number 1444737
• PIC2LNT: model transformation for model checking an applied pi-calculus
• scientific article; zbMATH DE number 2020178

Cited in

(9)

• Model checking mobile processes
• A semantic framework for open processes
• A static analysis of cryptographic processes: the denotational approach
• MMC
• The -calculus: A theory of mobile processes
• A logical encoding of timed \(\pi\)-calculus
• scientific article; zbMATH DE number 1444737 (Why is no real title available?)
• PIC2LNT: model transformation for model checking an applied pi-calculus
• A process calculus for mobile ad hoc networks

This page was built for publication: A logical encoding of the \(\pi\)-calculus: Model checking mobile processes using tabled resolution

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