research
∙
05/07/2021
On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report
This paper develops a Multiset Rewriting language with explicit time for...
research
∙
11/12/2018