Comment by lucifer153

It seems it has a lot in common with Lamport's TLA+, can someone compare?