On the greatest solution of equations in \(\mathrm{CLL}_R\)
From MaRDI portal
Publication:2353634
DOI10.1016/j.ipl.2015.05.008zbMath1332.68146arXiv1502.03629MaRDI 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
formal methods; specification; process calculus; solution of equations; logic-labelled transition system
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Cites Work