It has been further developed by computer scientists, notably Amir Pnueli, and logicians.
Sen jälkeen sitä ovat kehittäneet sekä tietojenkäsittelytieteilijät, erityisesti Amir Pnueli, että loogikot.