Formalising a value-passing calculus in H0L

DOI10.1007/S001650050046zbMath0937.68112OpenAlexW2085444879MaRDI QIDQ1965247

Monica Nesi

Publication date: 14 June 2000

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001650050046

zbMATH Keywords

value-passing calculus

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

On process equivalence = equation solving in CCS ⋮ Translating FSP into LOTOS and networks of automata ⋮ Unnamed Item ⋮ Unique solutions of contractions, CCS, and their HOL formalisation ⋮ Two case studies of semantics execution in Maude: CCS and LOTOS

This page was built for publication: Formalising a value-passing calculus in H0L