100 citations · 314 across the 34 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.FL2014
Synthesizing Finite-state Protocols from Scenarios and Requirements
Rajeev Alur, Milo Martin, Mukund Raghothaman +3
Scenarios, or Message Sequence Charts, offer an intuitive way of describing the desired behaviors of a distributed protocol. In this paper we propose a new way of specifying finite…
cs.FL2014★ 5 cited
Regular Combinators for String Transformations
Rajeev Alur, Adam Freilich, Mukund Raghothaman
We focus on (partial) functions that map input strings to a monoid such as the set of integers with addition and the set of output strings with concatenation. The notion of regular…