Difference between revisions of "TLA+"

Revision as of 02:51, 17 July 2021

TLA+ is a programming language for modeling distributed and concurrent systems of any kind.

Revision as of 02:51, 17 July 2021 (view source) Benkoo (talk \| contribs) (Created page with "[http://lamport.azurewebsites.net/tla/tla.html TLA+] is a programming language for modeling distributed and concurrent systems of any kind. Category:Programming language")		Revision as of 02:51, 17 July 2021 (view source) Benkoo (talk \| contribs) Newer edit →
Line 1:		Line 1:
	[http://lamport.azurewebsites.net/tla/tla.html TLA+] is a programming language for modeling distributed and concurrent systems of any kind.		[http://lamport.azurewebsites.net/tla/tla.html TLA+] is a programming language for modeling distributed and concurrent systems of any kind.

	[[Category:Programming ~~language~~]]		[[Category:Programming Language]]