Ryszard JanickiBooksParadigms of ConcurrencySpecification and Analysis of Concurrent SystemsApplication and Theory of Petri Nets and ConcurrencySpecification and analysis of concurrent systemsResults of the theory of vectors of coroutinesAuthor data: Open Library