samyonr

-------------------- MODULE ConvergingLivenessCondition --------------------

EXTENDS TLC, Integers

(***************************************************************************)
(* A number of actors, each want to transition from IDLE to PREPARED, and  *)
(* then from PREPARED to DONE.  Once an actor is DONE it'll stay DONE, but *)
(* it can go backward from PREPARED to IDLE if the situation looks dicey.  *)
(*                                                                         *)
(* IDLE <---> PREPARED ---> DONE                                           *)

UniIsland

#!/usr/bin/env python

"""Simple HTTP Server With Upload.

This module builds on BaseHTTPServer by implementing the standard GET
and HEAD requests in a fairly straightforward manner.

"""