Encoding of Circus Sample Clauses

Encoding of Circus. ‌ Semantically, Circus actions can be represented by stateful CSP processes, which we have previously integrated into Isabelle/UTP [15]. We can directly use our mechanised theory of CSP to encode Circus actions and processes. We next give some details on how this is done. Circus processes are a special kind of action where the state alphabet is empty and thus corresponds to the degenerate type unit containing only a single value. This reflects that process state is encapsulated and internal to the process, so that it cannot be seen by an environment. The key operator to define the semantics of a process is the following: The function Process takes as its argument the main action of a process over some arbitrary state ’σ, and yields an action over the unit state unit. The state hiding is carried out by the state operator, which changes the alphabet of a UTP action predicate to unit. This is achieved by first substituting the state components by some default initial values, and afterwards existentially quantifying over them. We note that the substitution step has no effect if the process initialises its state, which typically is the case. Our Circus embedding also provides a treatment of local actions. Those are encoded by a nesting of Isabelle/HOL let expressions. We hence make use of the built-in Let function of HOL for our definition of the LocalAction constructor, as it is shown below. Generally, the signature of the Let function is ’a (’a ’b) ’b for arbitrary types ’a and ’b. The constant to be locally bound (of type ’a) is supplied by the first argument. The second argument is a functional ab- straction (λ x A) in which A can refer to the local constant via the bound variable x . The semantic definition of the Let function is hence applying its second (function) argument to the value provided by the first. For convenience, Isabelle/HOL provides a custom notation for terms of the form Let c (λ x t ): they are parsed and displayed as let x = c in t , so that the user does not see the application of the Let function. We use the same technique to support the precise syntax of Circus for local actions.
Sample 1

Related to Encoding of Circus

  • Recording of calls We may record telephone conversations without use of a warning tone to ensure that the material terms of the Transaction, and any other material information relating to the Transaction is promptly and accurately recorded. Such records will be our sole property and accepted by you as evidence of the orders or instructions given.

  • Recording of Overtime Employees shall record starting and finishing times for overtime worked in a form determined by the Employer.

  • Funding of Advances (a) Subject to the satisfaction of the conditions precedent set forth in Section 6.2, the Borrower may request Advances hereunder by giving notice to the Facility Agent, each Agent and the Collateral Agent of the proposed Advance at or prior to 2:00 p.m., New York City time, at least one (1) Business Day prior to the proposed Advance Date. Such notice (herein called the “Advance Request”) shall be in the form of Exhibit C-1 and shall include (among other things) the proposed Advance Date and amount of such proposed Advance, and shall, if applicable, be accompanied by an Asset Approval Request setting forth the information required therein with respect to the Collateral Obligations to be acquired by the Borrower on the Advance Date (if applicable). The amount of any Advance shall at least be equal to the least of (w) the Dollar equivalent of $500,000 in an Eligible Currency, (x) the (1) Borrowing Base on such day minus (2) the Advances Outstanding on such day, (y) the (1) Facility Amount on such day minus (2) the Advances Outstanding on such day and (z) only in the case of Advances other than Dollar Advances, the (1) Foreign Currency Sublimit on such day minus (2) the Foreign Currency Advance Amount on such day, in each case, before giving effect to the requested Advance as of such date. Any Advance Request given by the Borrower pursuant to this Section 2.2, shall be irrevocable and binding on the Borrower. The Facility Agent shall have no obligation to lend funds hereunder in its capacity as Facility Agent. Subject to receipt by the Collateral Agent of an Officer’s Certificate of the Borrower confirming the satisfaction of the conditions precedent set forth in Section 6.2, and the Collateral Agent’s receipt of such funds from the Lenders, the Collateral Agent shall make the proceeds of such requested Advances available to the Borrower by deposit to such account as may be designated by the Borrower in the Advance Request in same day funds no later than 3:00 p.m., New York City time, on such Advance Date.

  • RECORDING OF AGREEMENT Tenant shall not record this Agreement on the Public Records of any public office. In the event that Tenant shall record this Agreement, this Agreement shall, at Landlord's option, terminate immediately and Landlord shall be entitled to all rights and remedies that it has at law or in equity.

  • Recording of Communications Buyer, Seller and Guarantor shall have the right (but not the obligation) from time to time to make or cause to be made tape recordings of communications between its employees and those of the other party with respect to Transactions. Buyer, Seller and Guarantor consent to the admissibility of such tape recordings in any court, arbitration, or other proceedings. The parties agree that a duly authenticated transcript of such a tape recording shall be deemed to be a writing conclusively evidencing the parties’ agreement.

  • RECORDING OF SERVICE INSTRUCTIONS The Bank may (but shall not be obliged to) at its absolute discretion tape or otherwise record all Service Instructions, and the Account Holder agrees to the use of such tapes or recordings and any transcripts thereof which the Bank may make for any purpose that the Bank deems desirable, including their use as evidence in any proceedings against the Account Holder or any other person.

  • Notice to Banks; Funding of Loans (a) Upon receipt of a Notice of Borrowing, the Agent shall promptly notify each Bank of the contents thereof and of such Bank's share (if any) of such Borrowing and such Notice of Borrowing shall not thereafter be revocable by the Borrower. (b) Not later than 1:00 P.M. (New York City time) on the date of each Borrowing, each Bank participating therein shall (except as provided in subsection (c) of this Section) make available its share of such Borrowing, in Federal or other funds immediately available in New York City, to the Agent at its address referred to in Section 10.01. Unless any applicable condition specified in Article 3 has not been satisfied, as determined by the Agent in accordance with Article 3, the Agent will make the funds so received from the Banks immediately available to the Borrower at the Agent's aforesaid address. (c) If any Bank makes a new Loan hereunder to the Borrower on a day on which the Borrower is to repay all or any part of an outstanding Loan from such Bank, such Bank shall apply the proceeds of its new Loan to make such repayment and only an amount equal to the difference (if any) between the amount being borrowed by the Borrower and the amount being repaid shall be made available by such Bank to the Agent as provided in subsection (b) of this Section, or remitted by the Borrower to the Agent as provided in Section 2.12, as the case may be. (d) Unless the Agent shall have received notice from a Bank prior to the date of any Borrowing (or, in the case of a Base Rate Borrowing, prior to Noon (New York City time) on the date of such Borrowing) that such Bank will not make available to the Agent such Bank's share of such Borrowing, the Agent may assume that such Bank has made such share available to the Agent on the date of such Borrowing in accordance with subsections (b) and (c) of this Section 2.04 and the Agent may, in reliance upon such assumption, make available to the Borrower on such date a corresponding amount. If and to the extent that such Bank shall not have so made such share available to the Agent, such Bank and the Borrower severally agree to repay to the Agent forthwith on demand such corresponding amount together with interest thereon, for each day from the date such amount is made available to the Borrower until the date such amount is repaid to the Agent, at (i) in the case of the Borrower, a rate per annum equal to the higher of the Federal Funds Rate and the interest rate applicable thereto pursuant to Section 2.07 and (ii) in the case of such Bank, the Federal Funds Rate. If such Bank shall repay to the Agent such corresponding amount, such amount so repaid shall constitute such Bank's Loan included in such Borrowing for purposes of this Agreement. If the Borrower shall have repaid such corresponding amount of such Bank, such Bank shall reimburse the Borrower for any loss on account thereof incurred by the Borrower.

  • Assumptions Concerning Funding of LIBOR Loans Calculation of all amounts payable to a Lender under this Article shall be made as though such Lender had actually funded LIBOR Loans through the purchase of deposits in the relevant market bearing interest at the rate applicable to such LIBOR Loans in an amount equal to the amount of the LIBOR Loans and having a maturity comparable to the relevant Interest Period; provided, however, that each Lender may fund each of its LIBOR Loans in any manner it sees fit and the foregoing assumption shall be used only for calculation of amounts payable under this Article.

  • Felling of trees The Authority shall assist the Contractor in obtaining the Applicable Permits for felling of trees in non-forest area to be identified by the Authority for this purpose if, and only if, such trees cause a Material Adverse Effect on the construction or maintenance of the Project Highway. The Contractor shall fell these trees as per the Permits obtained. The cost of such felling shall be borne by the Authority and in the event of any delay in felling thereof for reasons beyond the control of the Contractor; it shall be excused for failure to perform any of its obligations hereunder if such failure is a direct consequence of delay in the felling of trees. The Parties hereto agree that the felled trees shall be deemed to be owned by the Authority and shall be disposed in such manner and subject to such conditions as the Authority may in its sole discretion deem appropriate. For the avoidance of doubt, the Parties agree that if any felling of trees hereunder is in a forest area, the Applicable Permit thereof shall be procured by the Authority within the time specified in the Agreement.

  • RUNNING OF THE ACADEMY Teachers and staff