Symbolic checking of Fuzzy CTL on Fuzzy Program Graph Masoud EbrahimiGholamreza SotudehAli Movaghar Original Article Open access 03 February 2018 Pages: 1 - 33
On path-controlled insertion–deletion systems Henning FernauLakshmanan KuppusamyIndhumathi Raman Original Article 05 February 2018 Pages: 35 - 59
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory Paolo BaldanFabio Gadducci Original Article 24 January 2018 Pages: 61 - 92