Autor/in Fröschle, Sibylle B. 7 Lasota, Sławomir Czerwiński, Wojciech 2 Jančar, Petr 1 Sawa, Zdeněk 1
Partially-commutative context-free processes: expressibility and tractability Czerwiński, Wojciech Fröschle, Sibylle B. Lasota, Sławomir 2010 - TUHH Open Research
Partially-commutative context-free processes Czerwiński, Wojciech Fröschle, Sibylle B. Lasota, Sławomir 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
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
Causality versus true-concurrency Fröschle, Sibylle B. Lasota, Sławomir 2006 - TUHH Open Research - frei zugänglich
Decomposition and complexity of hereditary history preserving bisimulation on BPP Fröschle, Sibylle B. Lasota, Sławomir 2005 - TUHH Open Research