scientific article; zbMATH DE number 7559292

DOI10.4230/LIPIcs.FSCD.2019.26MaRDI QIDQ5089028

Michele Pagani, Simona Kašterović

Publication date: 18 July 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

testingbisimulationcontext equivalenceHowe's techniqueprobabilistic \(\lambda\)-calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Linear logic
• Bisimulation through probabilistic testing
• Domain theory, testing and simulation for labelled Markov processes
• Strong adequacy and untyped full-abstraction for probabilistic coherence spaces
• Probabilistic operational semantics for the lambda calculus
• On Applicative Similarity, Sequentiality, and Full Abstraction
• Full Abstraction for Probabilistic PCF
• Probabilistic Böhm Trees and Probabilistic Separation
• On coinductive equivalences for higher-order probabilistic functional programs
• On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi

This page was built for publication: