swMATH7162MaRDI QIDQ19215FDOQ19215
Author name not available (Why is that?)
Official website: http://fsl.cs.uiuc.edu/index.php/RV_Systems_and_Agapia_Programming
Cited In (7)
- Refinement of structured interactive systems
- Towards a formal representation of interactive systems
- Toward an integration of BPEL in Agapia
- P systems with control nuclei: the concept
- On Compiling Structured Interactive Programs with Registers and Voices
- Lucid
- Adaptive virtual organisms: a compositional model for complex hardware-software binding
This page was built for software: Agapia
