Generalizing Simulation to Abstract Domains

DOI10.1007/978-3-642-40184-8_34zbMATH Open1390.68466OpenAlexW2126727520MaRDI QIDQ2842128

Vijay D'Silva

Publication date: 12 August 2013

Published in: CONCUR 2013 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40184-8_34

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Title not available (Why is that?) ⋮ Title not available (Why is that?)

This page was built for publication: Generalizing Simulation to Abstract Domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842128)