Showing cs.FLShow 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.FL2021
Generalising Projection in Asynchronous Multiparty Session Types
Rupak Majumdar, Madhavan Mukund, Felix Stutz +1
Multiparty session types (MSTs) provide an efficient methodology for specifying and verifying message passing software systems. In the theory of MSTs, a global type specifies the i…