SugarCubes
From MaRDI portal
Software:14335
No author found.
Related Items (5)
Constructive semantics for instantaneous reactions ⋮ Typing noninterference for reactive programs ⋮ Declarative Programming with Algebra ⋮ Fine-Grained and Coarse-Grained Reactive Noninterference ⋮ Reactive Concurrent Programming Revisited
This page was built for software: SugarCubes
