Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: The Chandy--Lamport Distribute...

view this post on Zulip Email Gateway (Aug 04 2020 at 11:49):

From: Lawrence Paulson <lp15@cam.ac.uk>
We have a new entry by Ben Fiedler and Dmitriy Traytel:

It’s online at https://www.isa-afp.org/entries/Chandy_Lamport.html

Keep them coming, guys! It’s a better displacement activity than baking bread...

Larry Paulson

Last updated: Jul 15 2022 at 23:21 UTC