PSMaude

swMATH10125MaRDI QIDQ22093FDOQ22093

Author name not available (Why is that?)

Cited In (2)

• Strategic port graph rewriting: an interactive modelling framework
• A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing

This page was built for software: PSMaude