Loredana Tec

Latest

• Capturing Membrane Computing by ASMs
• Distributed Adaptive Systems - Theory, Specification, Reasoning
• Towards an ASM Thesis for Reflective Sequential Algorithms