Cited By
View all- Castiglioni VLanotte RTini S(2024)Back to the format: A survey on SOS for probabilistic processesJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2023.100929137(100929)Online publication date: Feb-2024
- Cimini M(2023)A Declarative Validator for GSOS LanguagesElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.378.2378(14-25)Online publication date: 13-Apr-2023
- Castiglioni VTini S(2020)Probabilistic divide & congruenceTheoretical Computer Science10.1016/j.tcs.2019.09.037802:C(147-196)Online publication date: 8-Jan-2020
- Show More Cited By