1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2022
Secure Information Flow Typing in LUSTRE
Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma
Synchronous reactive data flow is a paradigm that provides a high-level abstract programming model for embedded and cyber-physical systems, including the locally synchronous compon…
cs.PL2016★ 1 cited
Self-Similarity Breeds Resilience
Sanjiva Prasad, Lenore D. Zuck
Self-similarity is the property of a system being similar to a part of itself. We posit that a special class of behaviourally self-similar systems exhibits a degree of resilience t…