[HN Gopher] The P Programming Language: Formal modeling and anal...
___________________________________________________________________
The P Programming Language: Formal modeling and analysis of
distributed systems
Author : wslh
Score : 15 points
Date : 2024-11-09 15:22 UTC (7 hours ago)
(HTM) web link (github.com)
(TXT) w3m dump (github.com)
| dang wrote:
| Related. Others?
|
| _The P programming language_ -
| https://news.ycombinator.com/item?id=12673739 - Oct 2016 (87
| comments)
___________________________________________________________________
(page generated 2024-11-09 23:02 UTC)