Agapia
From MaRDI portal
Software:19215
swMATH7162MaRDI QIDQ19215FDOQ19215
Author name not available (Why is that?)
Cited In (6)
- 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
- Adaptive virtual organisms: a compositional model for complex hardware-software binding
This page was built for software: Agapia
