Contract Syntax Sample Clauses

Contract Syntax. Definition 5. The set of contract formulae denoted by C (with variable ϕ P C to range over the contracts) is contract where (i) if party k performs action a within d time units it proceeds to behave like ϕ1; otherwise (ii) if d time units elapse without a being performed by k, it then proceeds to behave like ϕ2. Note that we can generalize to more general conditions on the system, but we limit it to the ability of a party to perform an action for the scope of this paper. p q p qr s p qr s ^ Finally, rec x.ϕ and x handles recursive contracts, e.g., rec x.Op a d ; x is the contract which obliges agent p to repeatedly perform action a within d time units of each other. In contrast, rec x.Or pr 10 wait 30 ; x, is the contract in which agent r is repeat- edly obliged to pay rent (action pr) during the first 10 days of the month. Using these basic contract combinators, we can define more complex ones, for example, a prohibi- tion which persists until a particular action is per- formed — a prohibition on agent k from perform- ing action a until party l performs action b, written F pra, ks U rb, lsq, and defined as follows: ` ˘ ϕ ::= J | K | P paqrds | O paqrds | F paqrds F pra, ks U rb, lsq = rec x. condkpaqr8spK, Jq^ condl pbqr8spJ, xq
AutoNDA by SimpleDocs
Contract Syntax syntactically defined as follows: , , . k , x x k
Contract Syntax. Definition 5 The set of contract formulae de- noted by C (with variable ϕ P C to range over the units. ^ _ Contract disjunction is written as ϕ1 ϕ2, and contract conjunction as ϕ1 ϕ2. The for- mula ϕ1; ϕ2 indicates the sequential composition of two contracts — in order to satisfy the whole contract, the first contract ϕ1 must be satisfied and then the second one ϕ2. For instance, we can model the obligation of agent k of doing action p q O p qr s wait 2 ; k a 3 . O p qr s P p qr s The reparation operator, written ϕ1§ϕ2, is the contract which starts off as ϕ1, but when violated triggers contract ϕ2, e.g., 1 a 2 § 2 b 5 is the contract which obliges agent 1 to perform action p qr sp q a in 2 time units, but if she does not, permits agent 2 to perform action b in 5 time units. The formula condk a d ϕ1, ϕ2 is a condi- tional contract where (i) if party k performs ac- tion a within d time units it proceeds to behave like ϕ1; otherwise (ii) if d time units elapse with- out a being performed by k, it then proceeds to behave like ϕ2. Note that we can generalize to more general conditions on the system, but we limit it to the ability of a party to perform an action for the scope of this paper. O p qr s O p qr s ^ p q Finally, rec x.ϕ and x handles recursive con- tracts, e.g., rec x. p a d ; x is the contract which obliges agent p to repeatedly perform action a within d time units of each other. In contrast, rec x. r pr 10 wait 30 ; x, is the contract in which agent r is repeatedly obliged to pay rent (action pr) during the first 10 days of the month. Using these basic contract combinators, we can define more complex ones, for example, a pro- hibition which persists until a particular action is performed — a prohibition on agent k from per- forming action a until party l performs action b, written Fpra, ks U rb, lsq, and defined as follows: = ” df Fpra, ks U rb, lsq rec x.`cond paqr8spK, Jq^ In order to compute the relation, we trans- form it into a rewriting calculus: we can see ˘ the rules above as rewriting rules going from condlpbqr8spJ, xq Example 1 The contract of the plane boarding system from Section 2, can be formalised using our contract calculus as follows: ϕ0 ::= Pppcheckinqrt0 − 120s ϕ1 ::= OppPBPqr5s left to right. For instance, the equivalence rule 13 (Okpaqr0s ” K) allows us to rewrite Okpaqr0s; Plpbqr5s to K; Plpbqr5s, which in turn can be rewritten to K using rule 10 (K; ϕ ” K). Definition 7 We write ϕ ãÑ ϕ1 (where ϕ, ϕ1 P C), if ϕ1 is the result of...

Related to Contract Syntax

  • CONTRACT SCOPE Pursuant to this Contract, Contractor is authorized to sell and provide only those Goods and/or Services set forth in Exhibit A – Included Goods/Services for the prices set forth in Exhibit B – Prices for Goods/Services. Contractor shall not represent to any Purchaser under this Contract that Contractor has contractual authority to sell or provide any Goods and/or Services beyond those set forth in Exhibit A – Included Goods/Services.

  • Contract Schedule The information set forth in the Contract Schedule is true and correct.

  • Contract Supremacy In the case of a conflict between the express terms of this Agreement and the terms of the ISO Agreement, the express terms of this Agreement shall prevail.

  • Contract Services The Provider Agency shall provide services to eligible persons in accordance with all specifications contained in this Contract.

  • CONTRACT SUM 9.1.1 The Contract Sum is stated in the State-Contractor Agreement and, including authorized adjustments thereto, is the total amount payable by the State to the Contractor for the performance of the Work under the Contract Documents.

  • THE CONTRACT SUM The Owner shall pay the Contractor for the performance of the contract, subject to additions and deductions provided by approved change orders, in current funds, the Contract Sum as follows:

  • Contract Sales Price The total consideration provided for in the sales contract for the sale of a Property.

  • Product Supply 5.1 In the event that Eisai notifies Radius of its desire to purchase bulk substance of Compound from Radius, Radius shall supply Eisai with all amount of such bulk substance of Compound, which meets specifications for the Product determined by Radius in the course of its Development activities pursuant to this Agreement, required by Eisai for commercial sales of Product in Japan With respect to Eisai clinical development activities for Product in Japan, upon Eisai’s request, Radius shall supply Eisai the bulk substance of Compound for * Confidential Treatment Requested by the Registrant. Redacted Portion Filed Separately with the Commission. the conduct of the Eisai Development activities in the amounts and at the times determined by the SC, having reference to the quantity of the bulk substance of Compound required for clinical trials in Japan. Radius shall charge [*] for applicable bulk substance of Compound. Radius shall ship such bulk substance of Compound, FOB point of manufacturing. 5.2 In the event that Eisai notifies Radius of its desire to purchase Semi-Product from Radius which meets specifications determined by Radius in the course of its Development activities pursuant to this Agreement, Radius shall supply Eisai with all amount of Semi-Product required by Eisai for commercial sales of Product in Japan. With respect to Eisai clinical development activities for Product in Japan, upon Eisai’s request, Radius shall supply Eisai Semi-Product for the conduct of the Eisai Development activities in the amounts and at the times determined by the SC, having reference to the quantity of Semi-Product required for clinical trials in Japan. Radius shall charge [*] for Semi-Product. Radius shall ship such Semi-Product, FOB point of manufacturing. 5.3 The Parties agree that they shall, in good faith, discuss, negotiate and execute necessary agreements containing mutually acceptable terms, including but not limited to, a supply agreement for either bulk substance of Compound or Semi-Product as well as a quality control agreement of either bulk substance of Compound or Semi-Product, in the event that Eisai notifies Radius as set forth in Article 5.1 or 5.2. 5.4 As manufacturer of the Product, Radius shall be responsible for: (a) the control of the quality of the Product promoted and sold under the Radius trademarks; as provided in Article 2.3; and (b) ensuring that all bulk substance of Compound or Semi-Product supplied to Eisai pursuant to this Article 5 shall be manufactured in accordance with the applicable good manufacturing practices (GMP) and shall meet the then applicable specifications for the bulk substance of Compound or Semi-Product; and Radius warrants that all bulk substance of Compound or Semi-Product supplied to Eisai pursuant to this Article 5 shall be manufactured in accordance with the applicable GMP and * Confidential Treatment Requested by the Registrant. Redacted Portion Filed Separately with the Commission. shall meet the then applicable specifications for the bulk substance of Compound or Semi-Product and will be free from defects in material and workmanship. Radius shall resolve any product liability issues in the Territory relating to the Product and shall resolve any product liability issues in Japan relating to the Product or the bulk substance of Compound or Semi-Product, as the case may be, supplied to Eisai pursuant to this Article 5 in the event and to the extent related to a breach of the warranty set forth in Article 5.4(b) at its own expense and subject to Article 5.5. 5.5 Radius’ obligations with respect to product liability in the Territory and Japan shall include the following responsibilities, each to be taken at Radius’ expense: (a) Radius shall report, at its expense, to appropriate authorities, in accordance with local requirements, all adverse events related to use of the Product in the Territory or Japan. Eisai shall provide to Radius, upon Radius’ request, reasonable assistance in connection with the reporting of all of adverse events, responding to safety queries and assessing safety issues, in each case, to the extent related to the Product in Japan. Adverse events shall be recorded in a single, centralized database, which shall be held and owned by Radius. Radius will provide, upon request by Eisai, any safety information in Radius’ control and reasonably required by Eisai in connection with the development and commercialization of the Product in Japan and all reasonable assistance in responding to safety queries related to the Product and in assessing safety issues related to the Product in Japan. Details of safety reporting activities relating to the Product will be addressed in a pharmacovigilance contract, which the Parties shall enter into after the Effective Date. (b) In the event that (i) Radius determines that an event, incident, or circumstance may result in the need for a recall or other removal of the Product or any lot or lots thereof from the market; (ii) any regulatory authority in the Territory threatens to remove a Product from the market; or (iii) any regulatory authority in the Territory requires distribution of a “Dear Doctor” letter or its equivalent regarding the use of Product, Radius shall promptly advise Eisai in writing, and shall provide Eisai with copies of all relevant correspondence, notices and the like. Notwithstanding anything the contrary herein, Radius shall have final authority to make all decisions relating to any recall, market withdrawal or other corrective action with respect to the Product in the Territory. After establishing SC pursuant to Article 3.5, all decisions relating to any recall, market withdrawal or other corrective action with respect to the Product shall be decided by the SC as set forth in Article 3.6; provided that in the event that the Parties take different positions with respect to recall, market withdrawal or other corrective action with respect to the Product, then Radius shall have the right to cease supplying bulk substance of Compound or Semi-Product to Eisai for Japan if, after good faith discussions with Eisai, Radius reasonably believes that that continued supply to Eisai exposes Radius to liability as a result of its decision with respect to the Territory. If Radius elects to cease supply, it will terminate supply in an orderly manner, as soon as practical and in accordance with a schedule agreed to by Eisai and Radius. In the event of a recall, market withdrawal or other corrective action with respect to the Product in Japan, and at Radius’ request, Eisai shall provide reasonable assistance to Radius, at Radius’ cost and expense, in conducting any such recall, market withdrawal or other corrective action with respect to the Product in Japan. 5.6 THE WARRANTY IN SECTION 5.4(b) IS IN LIEU OF ANY OTHER WARRANTY WITH RESPECT TO THE PRODUCT, BULK SUBSTANCE OF COMPOUND OR SEMI-PRODUCT SUPPLIED BY RADIUS HEREUNDER, WHETHER EXPRESS OR IMPLIED, WRITTEN OR ORAL (INCLUDING, WITHOUT LIMITATION, ANY WARRANTY OF MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE).

  • Contract Task Order A- E shall be assigned work via a task order by COUNTY which shall subsequently be referred to as the “Contract Task Order” (hereinafter “CTO”). A CTO for each project shall be developed by A-E in conjunction with COUNTY Project Management staff. The County Project Manager shall manage all A-E’s work including monitoring the CTO work schedule, quality of deliverables, review of invoiced amounts, adherence to set budget, and internal review of submittal packages. A-E shall follow all requirements as outlined in the CTO; this general Scope of Work, the project specific Scope Statement, and the Architect-Engineer Guide (Rev July 2018). The CTO shall include a detailed Scope Statement, describing tasks to be performed with a specific list of deliverables for each task, schedule of work and cost to complete the work. The schedule of work shall allow enough time for meetings with County Management staff to review the work progress, provide technical and policy direction, resolve problems and ensure adherence to the work completion schedule. The CTO shall include a cover sheet provided by County Project Management staff with the appropriate signature blocks and contract information. Once both Parties agree, and all Parties have signed the CTO, County Management staff shall provide A-E with a Notice to Proceed (NTP) to begin work. A-E shall submit all plans, reports and other documents produced under the CTO to the assigned County Project Manager within the timeframe indicated in the CTO or as directed by County Project Management staff.

  • Contract Deliverables The Contractor shall provide information technology staff augmentation services, including comprehensive management of staff, as set forth in this Contract. The term “staff” refers to the temporary staff provided by the Contractor to render information technology services identified by Customers, but that staff shall not be deemed an employee of the State or deemed to be entitled to any benefits associated with such employment. Contracts resulting from this solicitation should not be structured as fixed-price agreements or used for any services requiring authorization for payment of milestone tasks. Contractor shall only provide information technology staff augmentation services for those Job Titles awarded to the Contractor and shall be paid on an hourly basis. The Department’s intent is for Contractor’s information technology staff to provide services closely related to those described in the Job Family Descriptions document. Detailed scopes of work, specific requirements of the work to be performed, and any requirements of staff shall be provided by the Customer in a Request for Quote. The Contractor shall possess the professional and technical staff necessary to allocate, outsource, and manage qualified information technology staff to perform the services requested by the Customer. The Contractor shall provide Customers with staff who must have sufficient skill and experience to perform the services assigned to them. All of the information technology staff augmentation services to be furnished by the Contractor under the Contract shall meet the professional standards and quality that prevails among information technology professionals in the same discipline and of similar knowledge and skill engaged in related work throughout Florida under the same or similar circumstances. The Contractor shall provide, at its own expense, training necessary for keeping Contractor’s staff abreast of industry advances and for maintaining proficiency in equipment and systems that are available on the commercial market. The Contractor shall be responsible for the administration and maintenance of all employment and payroll records, payroll processing, remittance of payroll and taxes, and all administrative tasks required by state and federal law associated with payment of staff. The Contractor shall, at its own expense, be responsible for adhering to the Contract background screening requirements, testing, evaluations, advertising, recruitment, and disciplinary actions of Contractor’s information technology staff. The Contractor shall maintain during the term of the Contract all licenses, permits, qualifications, insurance and approvals of whatever nature that are legally required to perform the information technology staff augmentation services.

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