Equivalence between RCGS and CGS Sample Clauses

Equivalence between RCGS and CGS. The only impact of using RCGS as opposed to CGS is increased efficiency of model checking, and better scaling as the number of agents increase. We argue for the claim about efficiency in the next section. In this section we show that this is the only change, i.e., that the the formulas valid on RCGS models are exactly the same as the formulas valid on CGS models. One way is obvious. For every CGS model, there is a corresponding RCGS model satisfying exactly the same formulas. To see this, we construct an RCGS with iden- tical state-space in which every agent is assigned to her own role. In every state the agents in that role (there is always exactly one) has the same actions available as the corresponding agent in the original model. The other direction requires a more technical argument. We do this by first giving a surjective function f that takes an RCGS and returns a CGS. Then we show that S and f (S) satisfy the same ATL formulas.
Sample 1
AutoNDA by SimpleDocs

Related to Equivalence between RCGS and CGS

  • Disputes between a Contracting Party and an Investor (1) Any dispute which may arise between an investor of one Contracting Party and the other Contracting Party in connection with an investment on the territory of that other Contracting Party shall be subject to negotiations between the parties in dispute. (2) If any dispute between an investor of one Contracting Party and the other Contracting Party continues to exist after a period of three months, investor shall be entitled to submit the case either to: (a) The International Centre for Settlement of Investment Disputes having regard to the applicable provisions of the Convention on the Settlement of Investment Disputes between States and Nationals of other States opened for signature at Washington D.C. on 18 March 1965, or in case both Contracting Parties have not become parties to this Convention, (b) An arbitrator or international ad hoc arb1 tral tribunal established under the Arbitration Rules of the United Nations Commission on International Trade Law. The parties to the dispute may agree in writing to modify these Rules. The arbitral awards shall be final and binding on both Parties to the dispute.Arbitration Rules of the United Nations Commission on International Trade Law. The parties to the dispute may agree in writing to modify these Rules. The arbitral awards shall be final and binding on both Parties to the dispute.

  • Happen After We Receive Your Letter When we receive your letter, we must do two things:

  • Happen After We Receive Your Letter When we receive your letter, we must do two things:

  • Bilingual Differential When formally assigned in the employee’s position description, an employee assigned to interpret to or from another language to English will receive a differential of five percent (5%) of base pay.

  • Minimum Break between Shifts (a) Where it is necessary to work extended overtime, it is agreed that no Employee shall resume or continue to work without having had ten consecutive hours off duty between the termination of the overtime and the commencement of the Employee’s ordinary work on the next day or shift. (b) In the event that an Employee agrees to a request from site management to resume or continue to work without having had ten consecutive hours off duty, the Employee shall be paid at double ordinary time rates until the Employee is released from duty for such period.

  • What Will Happen After We Receive Your Letter When we receive your letter, we must do two things:

  • Settlement of Disputes between an Investor and a Contracting Party (1) Any dispute between an investor of one Contracting Party and the other Contracting Party in relation to an investment of the former under this Agreement shall, as far as possible, be settled amicably through negotiations between the parties to the dispute. (2) Any such dispute which has not been amicably settled within a period of six months may, if both Parties agree, be submitted: (a) For resolution, in accordance with the law of the Contracting Party which has admitted the investment to that Contracting Party's competent judicial, arbitral or administrative bodies; or (b) To International conciliation under the Conciliation Rules of the United Nations Commission on International Trade Law. (3) Should the Parties fail to agree on a dispute settlement procedure provided under paragraph (2) of this Article or where a dispute is referred to conciliation but conciliation proceedings are terminated other than by signing of a settlement agreement, the dispute may be referred to Arbitration. The Arbitration procedure shall be as follows: (a) If the Contracting Party of the Investor and the other Contracting Party are both parties to the convention on the Settlement of Investment Disputes between States and nationals of other States, 1965 and the investor consents in writing to submit the dispute to the International Centre for the Settlement of Investment Disputes such a dispute shall be referred to the Centre; or (b) If both parties to the dispute so agree, under the Additional Facility for the Administration of Conciliation, Arbitration and Fact-Finding proceedings; or (c) To an ad hoc arbitral tribunal by either party to the dispute in accordance with the Arbitration Rules of the United Nations Commission on International Trade Law, 1976, subject to the following modifications: The appointing authority under Article 7 of the Rules shall be the President, the Vice-President or the next senior Judge of the International Court of Justice, who is not a national of either Contracting Party. The third arbitrator shall not be a national of either Contracting party. The parties shall appoint their respective arbitrators within two months. The arbitral award shall be made in accordance with the provisions of this Agreement and shall be binding for the parties in dispute. The arbitral tribunal shall state the basis of its decision and give reasons upon the request of either party. (i) The appointing authority under Article 7 of the Rules shall be the President, the Vice-President or the next senior Judge of the International Court of Justice, who is not a national of either Contracting Party. The third arbitrator shall not be a national of either Contracting party. (ii) The parties shall appoint their respective arbitrators within two months. (iii) The arbitral award shall be made in accordance with the provisions of this Agreement and shall be binding for the parties in dispute. (iv) The arbitral tribunal shall state the basis of its decision and give reasons upon the request of either party.

  • Tax Periods Beginning Before and Ending After the Closing Date The Company or the Purchaser shall prepare or cause to be prepared and file or cause to be filed any Returns of the Company for Tax periods that begin before the Closing Date and end after the Closing Date. To the extent such Taxes are not fully reserved for in the Company’s financial statements, the Sellers shall pay to the Company an amount equal to the unreserved portion of such Taxes that relates to the portion of the Tax period ending on the Closing Date. Such payment, if any, shall be paid by the Sellers within fifteen (15) days after receipt of written notice from the Company or the Purchaser that such Taxes were paid by the Company or the Purchaser for a period beginning prior to the Closing Date. For purposes of this Section, in the case of any Taxes that are imposed on a periodic basis and are payable for a Taxable period that includes (but does not end on) the Closing Date, the portion of such Tax that relates to the portion of such Tax period ending on the Closing Date shall (i) in the case of any Taxes other than Taxes based upon or related to income or receipts, be deemed to be the amount of such Tax for the entire Tax period multiplied by a fraction the numerator of which is the number of days in the Tax period ending on the Closing Date and the denominator of which is the number of days in the entire Tax period (the “Pro Rata Amount”), and (ii) in the case of any Tax based upon or related to income or receipts, be deemed equal to the amount that would be payable if the relevant Tax period ended on the Closing Date. The Sellers shall pay to the Company with the payment of any taxes due hereunder, the Sellers’ Pro Rata Amount of the costs and expenses incurred by the Purchaser or the Company in the preparation and filing of the Tax Returns. Any net operating losses or credits relating to a Tax period that begins before and ends after the Closing Date shall be taken into account as though the relevant Tax period ended on the Closing Date. All determinations necessary to give effect to the foregoing allocations shall be made in a reasonable manner as agreed to by the parties.

  • Rest Between Shifts Article 7.10 of the Agreement applies in its entirety, except that the length of the rest period shall be eight (8) hours rather than eleven (11) hours, and beginning September 1, 2020, shall be ten (10) hours, rather than twelve (12) hours.

  • Time Off Between Shifts Failure to provide the minimum number of hours between the commencement of an employee's scheduled shift and the commencement of such employee's next scheduled shift shall result in payment of one and one-half (1½) times the employee's regular straight time hourly rate for only those hours which reduce the minimum hour period. Where the minimum period is reduced as a result of an approved change of shift(s) requested by the employee(s), such premium payment shall not apply. The minimum number of hours for purposes of this Article shall be determined locally and will be set out in the Local Provisions Appendix.

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!