35 citations · 83 across the 19 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.FL2023
A Local-Time Semantics for Negotiations
Madhavan Mukund, Adwitee Roy, B Srivathsan
Negotiations, introduced by Esparza et al., are a model for concurrent systems where computations involving a set of agents are described in terms of their interactions. In many si…
cs.FL2023
A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
S Akshay, Paul Gastin, R Govind +2
In this paper, we consider a model of generalized timed automata (GTA) with two kinds of clocks, history and future, that can express many timed features succinctly, including time…