Back to Search
Start Over
Greatest solutions of equations in $\text{CLL}_R$ and its application
- Publication Year :
- 2014
-
Abstract
- This paper explores the process calculus $\text{CLL}_R$ furtherly. First, we prove that for any equation $X=_{RS} t_X$ such that $X$ is strongly guarded in $t_X$, $\langle X|X=t_X \rangle$ is the largest solution w.r.t $\sqsubseteq_{RS}$. Second, we encode a fragment of action-based CTL in $\text{CLL}_R$.<br />Comment: 13 pages. arXiv admin note: text overlap with arXiv:1301.3350
- Subjects :
- Computer Science - Logic in Computer Science
Subjects
Details
- Database :
- arXiv
- Publication Type :
- Report
- Accession number :
- edsarx.1411.0756
- Document Type :
- Working Paper