Thursday, January 31, 2019

New top story on Hacker News: Coloured Petri Nets: Modelling and Validation of Concurrent Systems (2009) [pdf]

Coloured Petri Nets: Modelling and Validation of Concurrent Systems (2009) [pdf]
20 by boshomi | 1 comments on Hacker News.


No comments:

Post a Comment

Price-Checking Zerocopy's Zero Cost Abstractions

Article URL: https://jack.wrenn.fyi/blog/price-check/ Comments URL: https://news.ycombinator.com/item?id=47314135 Points: 1 # Comments: 0...