DOI10.4230/LIPIcs.FSCD.2019.26MaRDI QIDQ5089028
Michele Pagani, Simona Kašterović
Publication date: 18 July 2022
zbMATH Keywords
testing; bisimulation; context equivalence; Howe's technique; probabilistic \(\lambda\)-calculus
Mathematics Subject Classification ID
03B70: Logic in computer science
68Qxx: Theory of computing