19 lines
496 B
Plaintext
19 lines
496 B
Plaintext
// ----------------------------------------------------------------------------
|
|
//
|
|
// Copyright (c) Microsoft Corporation. All rights reserved.
|
|
//
|
|
// ----------------------------------------------------------------------------
|
|
|
|
namespace Microsoft.Singularity.Services
|
|
{
|
|
public contract ThreadTerminationContract
|
|
{
|
|
in message Stop();
|
|
out message AckStop();
|
|
|
|
state Start : one {
|
|
Stop? -> AckStop! -> Start;
|
|
}
|
|
}
|
|
}
|