Transactions on Petri Nets and Other Models of Concurrency XVIII - Fabrice Kordon, Laure Petrucci, Jörg Desel, Jetty Kleijn, Maciej Koutny & Łukasz Mikulski

Click to view

Asynchronous Many-Task Systems and Applications - Patrick Diehl, Markus Rampp, Erwin Laure & Martin Schulz

Click to view

Dynamic Logic. New Trends and Applications - Jing Wang, Alexandre Madeira & Lei Li

Click to view

New Technologies, Development and Application IX - Isak Karabegović, Ahmed Kovacevic & Sadko Mandžuka

Click to view

Reversible Computation - Clément Aubert & Luca Roversi

Click to view

International Symposium on E-Business Information Systems Evolution - Jiyoon Kim, Kun-Lin Tsai, Francesco Colace & Ilsun You

Click to view