The Future of TLA+
https://lamport.azurewebsites.net/tla/future.pdf
Discussions: https://discu.eu/q/https://lamport.azurewebsites.net/tla/future.pdf
#compsci #formalmethods
Compsci Weekly /
npub12y…mwm90
2024-08-30 19:24:26
Author Public Key
npub12yxz5pw6kxawd4wshrvzkrdzyp772te52nzdeujcdjsjxngcqulsqmwm90Published at
2024-08-30 19:24:26Event JSON
{
"id": "58445a73f318572e9f9e85a482b752e2e39f553f36dff7d47d1363895ed192bd",
"pubkey": "510c2a05dab1bae6d5d0b8d82b0da2207de52f3454c4dcf2586ca1234d18073f",
"created_at": 1725045866,
"kind": 1,
"tags": [
[
"t",
"compsci"
],
[
"t",
"formalmethods"
],
[
"proxy",
"https://mastodon.social/users/compsci_discussions/statuses/113052605899819191",
"activitypub"
]
],
"content": "The Future of TLA+\n\nhttps://lamport.azurewebsites.net/tla/future.pdf\n\nDiscussions: https://discu.eu/q/https://lamport.azurewebsites.net/tla/future.pdf\n\n#compsci #formalmethods",
"sig": "2996c9329a5d5960ce5e6046d0abf8151362f05133cd44ccd5110b63308685290512cfff95d54aced1a0127b95e37179b5420cf0d6a6b686460d1eebd907bf89"
}