Axiomatizing Weak Ready Simulation Semantics over BCCSP

DOI10.1007/978-3-642-23283-1_4zbMath1351.68177OpenAlexW1554332741MaRDI QIDQ3105742

Could not fetch data.

Publication date: 6 January 2012

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-23283-1_4

Mathematics Subject Classification ID

Could not fetch data.

This page was built for publication: Axiomatizing Weak Ready Simulation Semantics over BCCSP