C# Class Microsoft.Coyote.Samples.HelloWorldActors.RequestGreetingEvent
This is a Coyote Event used to request a greeting. Events in Coyote are strongly typed and have their own lifetime outside of the scope of any particular call stack, because they can be queued in an Actor inbox.