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
