/// <summary>
/// Indicates whether the source stamp is equivalent (causally equal) with the other stamp.
/// </summary>
/// <param name="source">The source.</param>
/// <param name="other">The other, for comparison.</param>
/// <returns><c>true</c> if a.leq(b) Λ b.leq(a); otherwise <c>false</c>.</returns>
public static bool Equivalent(this Stamp source, Stamp other)
{
return(source.Leq(other) && other.Leq(source));
}
/// <summary>
/// Indicates whether the source stamp is concurrent with the other stamp.
/// </summary>
/// <param name="source">The source.</param>
/// <param name="other">The other, for comparison.</param>
/// <returns><c>true</c> if ¬(a.leq(b)) and ¬(b.leq(a)); otherwise, <c>false</c>.</returns>
public static bool Concurrent(this Stamp source, Stamp other)
{
return(!source.Leq(other) && !other.Leq(source));
}
