On the greatest solution of equations in \(\mathrm{CLL}_R\)

DOI10.1016/J.IPL.2015.05.008zbMath1332.68146arXiv1502.03629OpenAlexW317546781MaRDI QIDQ2353634

Jinjin Zhang, Yan Zhang, Zhaohui Zhu

Publication date: 15 July 2015

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1502.03629

zbMATH Keywords

formal methodsspecificationprocess calculussolution of equationslogic-labelled transition system

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)

Related Items (1)

Encoding safety in \(\mathrm{CLL}_R\)

Cites Work

• Unnamed Item
• Safe reasoning with logic LTS
• Conjunction on processes: Full abstraction via ready-tree semantics
• Ready simulation for concurrency: it's logical!
• The meaning of negative premises in transition system specifications

This page was built for publication: On the greatest solution of equations in \(\mathrm{CLL}_R\)