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

Comments

Popular posts from this blog

U.S. nuns demand action to end ‘culture of silence’ on abuse

Latter-day Saint women can ‘remove prejudice’ and improve the world, Eubank says