He linux Basethe non-profit technology consortium that manages various open source efforts, today announced the launch of the TLA+ Base… Read More »Linux Foundation launches new organization to maintain TLA+