4 papers
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…
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…
Distributed Markov Chains
Sumit Kumar Jha, Madhavan Mukund, Ratul Saha +1
The formal verification of large probabilistic models is important and challenging. Exploiting the concurrency that is often present is one way to address this problem. Here we stu…
Few Algorithms for ascertaining merit of a document and their applications
Ka. Shrinivaasan
Existing models for ranking documents(mostly in world wide web) are prestige based. In this article, three algorithms to objectively judge the merit of a document are proposed - 1)…