Simulation, reduction and preservation of correctness properties of parallel systems

DOI10.1016/0020-0190(83)90086-8zbMath0519.68063OpenAlexW1971109176MaRDI QIDQ1054477

Henry R. Tirri

Publication date: 1983

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(83)90086-8

zbMATH Keywords

simulationreductionmodels of computationcorrectness of parallel systemsparallel computation systems

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cites Work

• Correctness of parallel programs: The Church-Rosser approach
• On reduction of asynchronous systems
• Homomorphisms between models of parallel computation
• Reduction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Simulation, reduction and preservation of correctness properties of parallel systems