Probabilistic Ianov's schemes

DOI10.1016/0304-3975(87)90027-2zbMath0628.68015OpenAlexW2096162524MaRDI QIDQ1093361

D. Frutos Escrig

Publication date: 1987

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(87)90027-2

zbMATH Keywords

semanticsdecision algorithmsequivalence problems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Simple program schemes and formal languages
• A Powerdomain Construction
• Termination of Probabilistic Concurrent Program
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Probabilistic Ianov's schemes