7 Einträge gefunden

1. Partially-commutative context-free processes: expressibility and tractability

   1. Czerwiński, Wojciech
   2. Fröschle, Sibylle B.
   3. Lasota, Sławomir

   2010 - TUHH Open Research
2. Non-interleaving bisimulation equivalences on Basic Parallel Processes

   1. Fröschle, Sibylle B.
   2. Jančar, Petr
   3. Lasota, Sławomir
   4. Sawa, Zdeněk

   2009 - TUHH Open Research
3. Partially-commutative context-free processes

   1. Czerwiński, Wojciech
   2. Fröschle, Sibylle B.
   3. Lasota, Sławomir

   2009 - TUHH Open Research
4. Normed processes, unique decomposition, and complexity of bisimulation equivalences

   1. Fröschle, Sibylle B.
   2. Lasota, Sławomir

   2009 - TUHH Open Research - frei zugänglich
5. Causality versus true-concurrency

   1. Fröschle, Sibylle B.
   2. Lasota, Sławomir

   2007 - TUHH Open Research
6. Causality versus true-concurrency

   1. Fröschle, Sibylle B.
   2. Lasota, Sławomir

   2006 - TUHH Open Research - frei zugänglich
7. Decomposition and complexity of hereditary history preserving bisimulation on BPP

   1. Fröschle, Sibylle B.
   2. Lasota, Sławomir

   2005 - TUHH Open Research