A model of guarded recursion with clock synchronisation
From MaRDI portal
Publication:5971393
DOI10.1016/j.entcs.2015.12.007zbMath1351.68057WikidataQ113317735 ScholiaQ113317735MaRDI QIDQ5971393
Rasmus Ejlers Møgelberg, Aleš Bizjak
Publication date: 16 December 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2015.12.007
DB lookup for MSC labels failed
Uses Software