scientific article; zbMATH DE number 1444737

MaRDI QIDQ4952318zbMATH OpenFDO

Authors S. Gnesi, Gioia Ristori

Publication date 9 May 2000

zbMATH Keywords

\(\pi\)-logiclabelled transition systems

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

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

Cited in

(7)

• Model checking for action-based logics
• From active names to -calculus rewriting rules
• Families of symmetries as efficient models of resource binding
• scientific article; zbMATH DE number 1953026 (Why is no real title available?)
• scientific article; zbMATH DE number 1759744 (Why is no real title available?)
• PIC2LNT: model transformation for model checking an applied pi-calculus
• CONCUR 2005 – Concurrency Theory

This page was built for publication:

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