Ryszard Janicki

• Specification and analysis of concurrent systems
• Specification and Analysis of Concurrent Systems
• Application and Theory of Petri Nets and Concurrency
• Paradigms of Concurrency
• Results of the theory of vectors of coroutines