It has been further developed by computer scientists, notably Amir Pnueli, and logicians.
它后来被计算机科学家特别是 Amir Pnueli 和逻辑学家进一步的开发。