research
∙
03/30/2023
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs
This paper introduces a uniform substitution calculus for dℒ_CHP, the dy...
research
∙
02/28/2023