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: Dec 05 2021 at 22:18 UTC