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
- Adaptive Virtual Organisms: A Compositional Model for Complex Hardware-software Binding*,†
- On Compiling Structured Interactive Programs with Registers and Voices
This page was built for software: Agapia
