On the greatest solution of equations in \(\mathrm{CLL}_R\)
From MaRDI portal
Publication:2353634
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
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)
Cites Work
This page was built for publication: On the greatest solution of equations in \(\mathrm{CLL}_R\)