Space Pies Play

Space Pies ist eine rundenbasierte Raumschiffschlacht, in der zwei Spieler mit ihren eigenen Raumschiffen gegeneinander antreten. Das Ziel des Spiels ist es alle Lebenspunkte des Gegners abzuziehen und somit siegreich hevorzustehen. Dabei müssen die Spieler die richtige Strategie finden, um ihre Raumschiffe so modular zu erweitern, dass diese bestens gewappnet sind für den Kampf. Dabei soll ebenfalls die Simulation durch Terme des Pi-Kalküls im Vordergund stehen, sodass die Nutzer spielend leicht den Pi-Kalkül erlernen können.

Space Pies wurde komplett auf dem synchronen Pi-Kalkül, mit Einbezug des Choice-Operators, aufgebaut. Jedes Spielelement und deren Interaktionen miteinander werden durch Terme des Pi-Kalküls dargestellt und simuliert. Replikationen stellen wiederaufkehrende Elemente wie den Rundenablauf dar. Channels beschreiben Elemente wie Schilde, Waffen, Upgrade-Möglichkeiten oder dienen zur Synchronisation. Choices dienen unteranderem zur Nutzerinteraktion.