An analysis of the MX/M/1 queue with multiple working vacations by GI/M/1 type Markov process.Published in:Acta Informatica, 2018, v. 55, n. 7, p. 613, doi. 10.1007/s00236-018-0316-yBy:Zhang, HongboPublication type:Article
Bounded choice-free Petri net synthesis: algorithmic issues.Published in:Acta Informatica, 2018, v. 55, n. 7, p. 575, doi. 10.1007/s00236-017-0310-9By:Best, Eike;Devillers, Raymond;Schlachter, UliPublication type:Article
Fast deterministic parsers for transition networks.Published in:Acta Informatica, 2018, v. 55, n. 7, p. 547, doi. 10.1007/s00236-017-0308-3By:Borsotti, Angelo;Breveglieri, Luca;Crespi Reghizzi, Stefano;Morzenti, AngeloPublication type:Article