Toward parametric verification of open distributed systems

DOI10.1007/3-540-49213-5_7MaRDI QIDQ7010076zbMATH OpenFDO

Authors Mads Dam, Lars-åke Fredlund, Dilian Gurov

Publication date 19 March 2025

Full work available at URL https://doi.org/10.1007/3-540-49213-5_7

Mathematics Subject Classification ID

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

Cites work

• A calculus of mobile processes. I
• A foundation for actor computation
• Finiteness is mu-ineffable

This page was built for publication: Toward parametric verification of open distributed systems

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