Microsoft.Coyote.Actors.SharedObjects namespace

public type	description
class SharedCounter	A thread-safe counter that can be shared in-memory by actors.
class SharedDictionary<TKey,TValue>	A thread-safe dictionary that can be shared in-memory by actors.
static class SharedDictionary	A thread-safe dictionary that can be shared in-memory by actors.
class SharedRegister<T>	A thread-safe register that can be shared in-memory by actors.
static class SharedRegister	A thread-safe register that can be shared in-memory by actors.