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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Uses Software