Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types

From MaRDI portal

(Redirected from Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Inference_Systems_with_Corules_for_Combined_Safety_and_Liveness_Properties_of_Binary_Session_Types&oldid=98346122"