Cited By
View all- Bernardo MEsposito AMezzina C(2024)Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved EncodingsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.412.5412(51-70)Online publication date: 22-Nov-2024
- Polyvyanyy Ater Hofstede ALa Rosa MOuyang CPika A(2024)Process Query Language: Design, Implementation, and EvaluationInformation Systems10.1016/j.is.2023.102337122(102337)Online publication date: May-2024
- Horne RMauw SYurkov S(2023)When privacy fails, a formula describes an attackTheoretical Computer Science10.1016/j.tcs.2023.113842959:COnline publication date: 30-May-2023
- Show More Cited By