Pistache

swMATH7183MaRDI QIDQ19236FDOQ19236

Author name not available (Why is that?)

Described by source

• PiStache: implementing \(\pi \)-calculus in Scala

This page was built for software: Pistache