3 ms·
88 OSI network stacks. They were going to replace the 'old' Internet protocols. Relational Databases, SQL and two phase commit. Formal methods and verificati
by neilwilson 8y ago
88
OSI network stacks. They were going to replace the 'old' Internet protocols.
Relational Databases, SQL and two phase commit.
Formal methods and verification.
- sitkack 8y ago> Formal methods and verification. Still emerging.