2 ms·
The point is that they're both formal systems of reasoning, not that they have exactly the same properties. The techniques and abstractions from both PL and for
by tikhonj 10y ago
The point is that they're both formal systems of reasoning, not that they have exactly the same properties. The techniques and abstractions from both PL and formal logic often generalize well to both.
- mafribe 10y agoNon-determinism, a key property of concurrent systems, doesn't generalise well to logic.