Autor/in Fröschle, Sibylle B. 3 Lasota, Sławomir Czerwiński, Wojciech 1 Jančar, Petr 1 Sawa, Zdeněk 1
Non-interleaving bisimulation equivalences on Basic Parallel Processes Fröschle, Sibylle B. Jančar, Petr Lasota, Sławomir Sawa, Zdeněk 2009 - TUHH Open Research
Normed processes, unique decomposition, and complexity of bisimulation equivalences Fröschle, Sibylle B. Lasota, Sławomir 2009 - TUHH Open Research - frei zugänglich
Partially-commutative context-free processes Czerwiński, Wojciech Fröschle, Sibylle B. Lasota, Sławomir 2009 - TUHH Open Research