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.