On Compiling Structured Interactive Programs with Registers and Voices
From MaRDI portal
Publication:5448652
Recommendations
Cites work
- scientific article; zbMATH DE number 1482700 (Why is no real title available?)
- scientific article; zbMATH DE number 2110613 (Why is no real title available?)
- Complexity of two-dimensional patterns
- Implementation and verification of ring termination detection protocols using structured rv-systems
- Interactive Computation
- Interactive foundations of computing
- Interactive systems with registers and voices
- Trace-oriented models of concurrency
Cited in
(3)
This page was built for publication: On Compiling Structured Interactive Programs with Registers and Voices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5448652)