-Calculus with Explicit Points and Approximations
From MaRDI portal
Publication:4542238
DOI10.1093/logcom/12.2.255zbMath1003.03033MaRDI QIDQ4542238
Publication date: 1 August 2002
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/3b0df0bf432686704cce361ab4984320a5a1e216
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
On global induction mechanisms in aμ-calculus with explicit approximations, Reducing behavioural to structural properties of programs with procedures, Canonical completeness of infinitary \(\mu \), Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS