K-user mailing list

[Zans Mihejevs <zans.lancs AT googlemail.com>]

Oh, is this the same Mike Stay that's been posting about operational semantics on the n-category cafe? If so, I've been enjoying your writing.

On 14 August 2017 at 21:56, Mike Stay <stay AT pyrofex.net> wrote:

That's very helpful, thanks!

On Mon, Aug 14, 2017 at 12:58 PM, Everett Hildenbrandt
<hildenb2 AT illinois.edu> wrote:
> Hey Mike,
>
> I know of some work in Maude modeling distributed databases/key-value stores.
> The original K-Maude was a Maude tool which made defining programming languages easier (eventually K moved to it's own implementation).
>
> Here [RAMP protocols (Read-Atomic Multi-Partition) are studied in Maude](https://www.ideals.illinois.edu/handle/2142/96040).
>
> Also, [Cassandra DB has been modeled/analyzed in Maude](https://experts.illinois.edu/en/publications/formal-modeling-and-analysis-of-cassandra-in-maude).
>
> Is this what you're looking for?
> Everett H.
>
> On Fri, Aug 11, 2017 at 05:12:21PM -0600, Mike Stay wrote:
>> Are there any projects (k or related) that capture the operational
>> semantics of databases?  I'm particularly interested in lightningdb
>> and mongo.
>> --
>> Mike Stay
>> CTO, Pyrofex Corp.



--
Mike Stay
CTO, Pyrofex Corp.