Formalising a value-passing calculus in H0L
From MaRDI portal
Publication:1965247
DOI10.1007/s001650050046zbMath0937.68112OpenAlexW2085444879MaRDI QIDQ1965247
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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
