class ChunkedData;
class ModelChecker;
class AddressSpace;
-class Process;
+class RemoteClient;
class Snapshot;
class ObjectInformation;
class Member;
class Type;
class Variable;
class Frame;
-class SimixProcessInformation;
+class ActorInformation;
class Session;
class Checker;