SugarCubes

swMATH1630MaRDI QIDQ14335FDOQ14335

Author name not available (Why is that?)

Cited In (5)

• Fine-Grained and Coarse-Grained Reactive Noninterference
• Typing noninterference for reactive programs
• Declarative Programming with Algebra
• Reactive Concurrent Programming Revisited
• Constructive semantics for instantaneous reactions

This page was built for software: SugarCubes