27 citations · 69 across the 10 of their papers we have counts for
1 paper · 2 filters
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam +2
This paper develops a Multiset Rewriting language with explicit time for the specification and analysis of Time-Sensitive Distributed Systems (TSDS). Goals are often specified usin…