1. Symbolic checking of Fuzzy CTL on Fuzzy Program Graph

   • Masoud Ebrahimi
   • Gholamreza Sotudeh
   • Ali Movaghar

   Original Article Open access 03 February 2018 Pages: 1 - 33

   

2. On path-controlled insertion–deletion systems

   • Henning Fernau
   • Lakshmanan Kuppusamy
   • Indhumathi Raman

   Original Article 05 February 2018 Pages: 35 - 59

   

3. Petri nets are dioids: a new algebraic foundation for non-deterministic net theory

   • Paolo Baldan
   • Fabio Gadducci

   Original Article 24 January 2018 Pages: 61 - 92