1 Einträge gefunden

1. 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