8,080 followers Adolfo Neto @adolfont He co-wrote The temporal logic of branching time https://t.co/t0GRXYQju6 30 Aug 2018 Reply Repost Favourite