9 Einträge gefunden

1. Liveness of safe object nets

   1. Köhler-Bußmeier, Michael
   2. Heitmann, Frank

   2011 - Forschungsinformationssystem der UHH
2. Restricting Generalised State Machines

   1. Köhler-Bußmeier, Michael
   2. Heitmann, Frank

   2011 - ReposIt
3. Liveness and reachability for elementary object systems

   1. Köhler-Bußmeier, Michael
   2. Heitmann, Frank

   2011 - Forschungsinformationssystem der UHH
4. Restricting generalised state machines

   1. Köhler-Bußmeier, Michael
   2. Heitmann, Frank

   2011 - Forschungsinformationssystem der UHH
5. Generating executable multi-agent system prototypes from sonar specifications

   1. Köhler-Bußmeier, Michael
   2. Wester-Ebbinghaus, Matthias
   3. Moldt, Daniel

   2011 - Forschungsinformationssystem der UHH
6. On Defining Conflict-Freedom for Object Nets

   1. Heitmann, Frank
   2. Köhler-Bußmeier, Michael

   2011 - ReposIt
7. A survey of elementary object systems, Part I: Decidability results

   1. Köhler-Bußmeier, Michael

   2011 - Forschungsinformationssystem der UHH
8. Liveness and Reachability for Elementary Object Systems

   1. Köhler-Bußmeier, Michael
   2. Heitmann, Frank

   2011 - ReposIt
9. Liveness of Safe Object Nets

   1. Köhler-Bußmeier, Michael
   2. Heitmann, Frank

   2011 - ReposIt