245 followers
Adam: Causality-Based Synthesis of Distributed Systems. - Bernd Finkbeiner, Manuel Gieseking, Ernst-Rüdiger Olderog http://t.co/UOzEvo2bQ9
Adam: Causality-Based Synthesis of Distributed Systems. - Bernd Finkbeiner, Manuel Gieseking, Ernst-Rüdiger Olderog http://t.co/UOzEvo2bQ9