scientific article; zbMATH DE number 4157899

MaRDI QIDQ3485878zbMATH OpenFDO

Authors Evangelos Kranakis

Publication date 1987

zbMATH Keywords

approximation principlecalculus of communicating processesprocess algebraprojection model

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Modal logic and the approximation induction principle
• scientific article; zbMATH DE number 3990852
• Fixed point equations with parameters in the projective model
• Modal logic and the approximation induction principle
• Finite approximations for model checking non-finite-state processes

Cited in

(2)

• A basic projective inequality of D_
• Projective models of invariant scaling. I

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 Q3485878)