TLA+ is a language for modeling concurrent and distributed programs and systems(lamport.azurewebsites.net)
lamport.azurewebsites.net
TLA+ is a language for modeling concurrent and distributed programs and systems
https://lamport.azurewebsites.net/tla/tla.html
0 コメント
—