Single-Sided Monitoring Sample Clauses

Single-Sided Monitoring. The following definition provides a characterization of the redundancy present on monitored ex- pressions when wrapped by several monitors. In what follows we say that an expression is a user expression if it does not contain runtime syntax.  ⟨(let x1 = [c+]c,q,p in    P → (νc)  let y1,x2 = receive x1 in let y2 = send 0 y1 in close x2; close y2)⟩p     ⟨(λx1.let y1 = connect b in  let x2 = send y1 x1 in close x2)[c-]c,p,q⟩q  →∗ (νc)  let y2 = send 0 y1 in close x2;  ⟨(let y1,x2 = receive [c+]c,q,p in   close y2)⟩p     ⟨(let y1 = connect b in  let x2 = send y1 [c-]c,p,q in close x2)⟩q ⟨(let y1,x2 = receive [c+]c,q,p in    let y2 = send 0 y1 in close x2;  close y2)⟩p + d,r,q  →∗ (νc)(νd)  ⟨(let y1 = [d ] in  let x2 = send y1 [c-]c,p,q in close x2)⟩q    ⟨(λy1.let z,y2 = receive y1 in  print z−1; close y2)[d-]d,q,r⟩r ⟨(let y1,x2 = receive [c+]c,q,p in      let y2 = send 0 y1 in close x2; →∗ (νc)(νd)  ⟨(let x2 = send [d+]d,r,q [c-]c,p,q in    close y2)⟩p  close x2)⟩q   ⟨(let z,y2 = receive [d-]d,q,r in    print z−1; close y2)⟩r   ⟨(let y1,x2 = ([[[d+]d,r,q ]e,q,p]e,q,p,[c+]end_c,q,p) in    let y2 = send 0 y1 in close x2;  close y2)⟩p  →∗ (νc)(νd)  ⟨(let x2 = [c-]end_c,p,q in   close x2)⟩q     ⟨(let z,y2 = receive [d-]d,q,r in  print z−1; close y2)⟩r ⟨(let y2 = send 0 [[[d+]d,r,q]e,q,p]e,q,p in   close [c+] end_c,q,p;  close y2)⟩p   →∗ (νc)(νd) ⟨(close [c-]end_c,p,q)⟩q  ⟨(let z,y2 = receive [d-]d,q,r in    print z−1; close y2)⟩r ⟨(let y2 = [[[d+]end_c,r,q ]end_c,q,p]end_c,q,p in  close [c+]end_c,q,p;  close y2)⟩p   ⟨(let z,y2 = ([[[[0]any_c,p,q ]any_c,p,q ]f,q,r]f,q,r,[d-]end_c,q,r) in  →∗ (νc)(νd)  ⟨(close [c-]end_c,p,q)⟩q    print z−1; close y2)⟩r ⟨(close [c+]end_c,q,p;   close [[[d+]end_c,r,q ]end_c,q,p]end_c,q,p)⟩p  ∗  ⟨(close [c-]end_c,p,q)⟩q    → (νc)(νd)  ⟨(let z,y2 = ([[0]f,q,r]f,q,r,[d-]end_c,q,r) in  print z−1; close y2)⟩r ⟨(close [[[d+]end_c,r,q ]end_c,q,p]end_c,q,p)⟩p  →∗ (νd)  ⟨(let z,y2 = ([blame q]f,q,r,[d-]end_c,q,r) in   ⟨()⟩q    print z−1; close y2)⟩r • v is a user expression. • [blame p]_,_,_, • [v ap e]flat_c w,p,_ and v and w are user expressions and e ↓ v′ if and only if wv ↓ v′, • [aι]_,_,_, • [[e¯]c,p,q]c,p,q and e¯ is well-stacked. The definition extends homomorphically over (unmonitored) expressions and processes. The single-sided monitoring semantics avoids the redundancy in well-stacked monitored ex- pressions by removing one duplica...
AutoNDA by SimpleDocs

Related to Single-Sided Monitoring

  • Treatment of Unallowable Costs Previously Submitted for Payment Mallinckrodt further agrees that within 120 days of the Effective Date of this Agreement it shall identify to applicable Medicare and TRICARE fiscal intermediaries, carriers, and/or contractors, and Medicaid and FEHBP fiscal agents, any Unallowable Costs (as defined in this Paragraph) included in payments previously sought from the United States, or any State Medicaid program, including, but not limited to, payments sought in any cost reports, cost statements, information reports, or payment requests already submitted by Mallinckrodt or any of its subsidiaries or affiliates, and shall request, and agree, that such cost reports, cost statements, information reports, or payment requests, even if already settled, be adjusted to account for the effect of the inclusion of the Unallowable Costs. Mallinckrodt agrees that the United States, at a minimum, shall be entitled to recoup from Mallinckrodt any overpayment plus applicable interest and penalties as a result of the inclusion of such Unallowable Costs on previously-submitted cost reports, information reports, cost statements, or requests for payment. Any payments due after the adjustments have been made shall be paid to the United States pursuant to the direction of the Department of Justice and/or the affected agencies. The United States reserves its rights to disagree with any calculations submitted by Mallinckrodt or any of its subsidiaries or affiliates on the effect of inclusion of Unallowable Costs (as defined in this Paragraph) on Mallinckrodt or any of its subsidiaries or affiliates’ cost reports, cost statements, or information reports.

  • Preservative-treated Wood Containing Arsenic Grantee may not purchase preservative-treated wood products containing arsenic in the performance of this Agreement unless an exemption from the requirements of Chapter 13 of the San Francisco Environment Code is obtained from the Department of the Environment under Section 1304 of the Code. The term “preservative-treated wood containing arsenic” shall mean wood treated with a preservative that contains arsenic, elemental arsenic, or an arsenic copper combination, including, but not limited to, chromated copper arsenate preservative, ammoniacal copper zinc arsenate preservative, or ammoniacal copper arsenate preservative. Grantee may purchase preservative-treated wood products on the list of environmentally preferable alternatives prepared and adopted by the Department of the Environment. This provision does not preclude Grantee from purchasing preservative-treated wood containing arsenic for saltwater immersion. The term “saltwater immersion” shall mean a pressure-treated wood that is used for construction purposes or facilities that are partially or totally immersed in saltwater.

  • CERTIFICATION OF NONSEGREGATED FACILITIES (Applicable to construction contracts exceeding $10,000) The Contractor certifies that it does not maintain or provide for its establishments, and that it does not permit employees to perform their services at any location, under its control, where segregated facilities are maintained. It certifies further that it will not maintain or provide for employees any segregated facilities at any of its establishments, and it will not permit employees to perform their services at any location under its control where segregated facilities are maintained. The Contractor agrees that a breach of this certification is a violation of the equal opportunity clause of this contract. As used in this certification, the term “segregated facilities” means any waiting rooms, work areas, rest rooms and wash rooms, restaurants and other eating areas, time clocks, locker rooms, and other storage or dressing areas, parking lots, drinking fountains, recreation or entertainment areas, transportation and housing facilities provided for employees which are segregated by explicit directive or are, in fact, segregated on the basis of race, color, religion, or national origin because of habit, local custom, or any other reason. The Contractor further agrees that (except where it has obtained for specific time periods) it will obtain identical certification from proposed subcontractors prior to the award of subcontracts exceeding $10,000 which are not exempt from the provisions of the equal opportunity clause; that it will retain such certifications in its files; and that it will forward the preceding notice to such proposed subcontractors (except where proposed subcontractors have submitted identical certifications for specific time periods).

  • Collection of Taxes, Assessments and Similar Items; Servicing Accounts The Master Servicer shall establish and maintain (or cause a Sub-Servicer to establish and maintain) one or more accounts (the “Servicing Accounts”), into which all collections from the Mortgagors (or related advances from Sub-Servicers) for the payment of ground rents, taxes, assessments, fire and hazard insurance premiums, Primary Mortgage Insurance Premiums, water charges, sewer rents and comparable items for the account of the Mortgagors (“Escrow Payments”) shall be deposited and retained. Servicing Accounts shall be Eligible Accounts. The Master Servicer (or the applicable Sub-Servicer) shall deposit in the clearing account (which account must be an Eligible Account) in which it customarily deposits payments and collections on mortgage loans in connection with its mortgage loan servicing activities on a daily basis, and in no event more than two Business Days after the Master Servicer’s (or the applicable Sub-Servicer’s) receipt thereof, all Escrow Payments collected on account of the Mortgage Loans and shall thereafter deposit such Escrow Payments in the Servicing Accounts, in no event more than one Business Day after the deposit of such funds in the clearing account, for the purpose of effecting the payment of any such items as required under the terms of this Agreement. Withdrawals of amounts from a Servicing Account may be made only to (i) effect payment of Escrow Payments; (ii) reimburse the Master Servicer (or a Sub-Servicer to the extent provided in the related Sub-Servicing Agreement) out of related collections for any advances made pursuant to Section 3.01 (with respect to taxes and assessments) and Section 3.14 (with respect to hazard insurance); (iii) refund to Mortgagors any sums as may be determined to be overages; (iv) pay interest, if required and as described below, to Mortgagors on balances in the Servicing Account; (v) clear and terminate the Servicing Account at the termination of the Master Servicer’s obligations and responsibilities in respect of the Mortgage Loans under this Agreement in accordance with Article IX; or (vi) recover amounts deposited in error. As part of its servicing duties, the Master Servicer or Sub-Servicers shall pay to the Mortgagors interest on funds in Servicing Accounts, to the extent required by law and, to the extent that interest earned on funds in the Servicing Accounts is insufficient, to pay such interest from its or their own funds, without any reimbursement therefor. To the extent that a Mortgage does not provide for Escrow Payments, the Master Servicer shall determine whether any such payments are made by the Mortgagor in a manner and at a time that avoids the loss of the Mortgaged Property due to a tax sale or the foreclosure of a tax lien. The Master Servicer assumes full responsibility for the payment of all such bills and shall effect payments of all such bills irrespective of the Mortgagor’s faithful performance in the payment of same or the making of the Escrow Payments and shall make advances from its own funds to effect such payments.

  • Durable Medical Equipment (DME), Medical Supplies, Prosthetic Devices, Enteral Formula or Food, and Hair Prosthesis (Wigs) This plan covers durable medical equipment and supplies, prosthetic devices and enteral formula or food as described in this section. DME is equipment which: • can withstand repeated use; • is primarily and customarily used to serve a medical purpose; • is not useful to a person in the absence of an illness or injury; and • is for use in the home. DME includes supplies necessary for the effective use of the equipment. This plan covers the following DME: • wheelchairs, hospital beds, and other DME items used only for medical treatment; and • replacement of purchased equipment which is needed due to a change in your medical condition or if the device is not functional, no longer under warranty, or cannot be repaired. DME may be classified as a rental item or a purchased item. In most cases, this plan only pays for a rental DME up to our allowance for a purchased DME. Repairs and supplies for rental DME are included in the rental allowance. Medical supplies are consumable supplies that are disposable and not intended for re- use. Medical supplies require an order by a physician and must be essential for the care or treatment of an illness, injury, or congenital defect. Covered medical supplies include: • essential accessories such as hoses, tubes and mouthpieces for use with medically necessary DME (these accessories are included as part of the rental allowance for rented DME); • catheters, colostomy and ileostomy supplies, irrigation trays and surgical dressings; and • respiratory therapy equipment. This plan covers diabetic equipment and supplies for the treatment of diabetes in accordance with R.I. General Law §27-20-30. Covered diabetic equipment and supplies include: • therapeutic or molded shoes and inserts for custom-molded shoes for the prevention of amputation; • blood glucose monitors including those with special features for the legally blind, external insulin infusion pumps and accessories, insulin infusion devices and injection aids; and • lancets and test strips for glucose monitors including those with special features for the legally blind, and infusion sets for external insulin pumps. The amount you pay differs based on whether the equipment and supplies are bought from a durable medical equipment provider or from a pharmacy. See the Summary of Pharmacy Benefits and the Summary of Medical Benefits for details. Coverage for some diabetic equipment and supplies may only be available from either a DME provider or from a pharmacy. Visit our website to determine if this is applicable or call our Customer Service Department. Prosthetic devices replace or substitute all or part of an internal body part, including contiguous tissue, or replace all or part of the function of a permanently inoperative or malfunctioning body part and alleviate functional loss or impairment due to an illness, injury or congenital defect. Prosthetic devices do not include dental prosthetics. This plan covers the following prosthetic devices as required under R.I. General Law § 27-20-52: • prosthetic appliances such as artificial limbs, breasts, larynxes and eyes; • replacement or adjustment of prosthetic appliances if there is a change in your medical condition or if the device is not functional, no longer under warranty and cannot be repaired; • devices, accessories, batteries and supplies necessary for prosthetic devices; • orthopedic braces except corrective shoes and orthotic devices used in connection with footwear; and • breast prosthesis following a mastectomy, in accordance with the Women’s Health and Cancer Rights Act of 1998 and R.I. General Law 27-20-29. The prosthetic device must be ordered or provided by a physician, or by a provider under the direction of a physician. When you are prescribed a prosthetic device as an inpatient and it is billed by a provider other than the hospital where you are an inpatient, the outpatient benefit limit will apply. Enteral formula or food is nutrition that is absorbed through the intestinal tract, whether delivered through a feeding tube or taken orally. Enteral nutrition is covered when it is the sole source of nutrition and prescribed by the physician for home use. In accordance with R.I. General Law §27-20-56, this plan covers enteral formula taken orally for the treatment of: • malabsorption caused by Crohn’s Disease; • ulcerative colitis; • gastroesophageal reflux; • chronic intestinal pseudo obstruction; and • inherited diseases of amino acids and organic acids. Food products modified to be low protein are covered for the treatment of inherited diseases of amino acids and organic acids. Preauthorization may be required. The amount that you pay may differ depending on whether the nutrition is delivered through a feeding tube or taken orally. When enteral formula is delivered through a feeding tube, associated supplies are also covered. This plan covers hair prosthetics (wigs) worn for hair loss suffered as a result of cancer treatment in accordance with R.I. General Law § 27-20-54 and subject to the benefit limit and copayment listed in the Summary of Medical Benefits. This plan will reimburse the lesser of the provider’s charge or the benefit limit shown in the Summary of Medical Benefits. If the provider’s charge is more than the benefit limit, you are responsible for paying any difference. This plan covers Early Intervention Services in accordance with R.I. General Law §27- 20-50. Early Intervention Services are educational, developmental, health, and social services provided to children from birth to thirty-six (36) months. The child must be certified by the Rhode Island Department of Human Services (DHS) to enroll in an approved Early Intervention Services program. Services must be provided by a licensed Early Intervention provider and rendered to a Rhode Island resident. Members not living in Rhode Island may seek services from the state in which they reside; however, those services are not covered under this plan. Early Intervention Services as defined by DHS include but are not limited to the following: • speech and language therapy; • physical and occupational therapy; • evaluation; • case management; • nutrition; • service plan development and review; • nursing services; and • assistive technology services and devices.

  • Total Servicing Fee; Payment of Certain Expenses by Servicer On each Distribution Date, the Servicer shall be entitled to receive out of the Collection Account the Base Servicing Fee and any Supplemental Servicing Fee for the related Collection Period (together, the “Servicing Fee”) pursuant to Section 5.7. The Servicer shall be required to pay all expenses incurred by it in connection with its activities under this Agreement (including taxes imposed on the Servicer, expenses incurred in connection with distributions and reports made by the Servicer to the Noteholders and all other fees and expenses of the Owner Trustee, the Trust Collateral Agent or the Trustee; provided, however, the Servicer shall not be required to pay taxes levied or assessed against the Trust or claims against the Trust in respect of indemnification unless such taxes and claims are expressly stated to be for the account of GM Financial). The Servicer shall be liable for the fees and expenses of the Owner Trustee, the Trust Collateral Agent, the Trustee, the Custodian and the Independent Accountants. Notwithstanding the foregoing, if the Servicer shall not be GM Financial, a successor to GM Financial as Servicer permitted by Section 9.3 shall not be liable for taxes levied or assessed against the Trust or claims against the Trust in respect of indemnification, or the fees and expenses referred to above.

  • Irrigation An irrigation reduced pressure zone (hereinafter referred to as “RPZ”) is required for any irrigation systems and must be installed by the Developer and/or eventual lot owner and tested in accordance with the Minnesota Department of Health Guidelines for Designing Backflow Prevention Assembly Installations (hereinafter referred to as “Guidelines”). The initial test results and certification shall be submitted to the City of Maple Grove Public Works Department. Subsequently, the RPZ must be tested, per the Guidelines, at least annually by a certified tester with the results reported to the City of Maple Grove Building Department and the RPZ must be rebuilt as needed in accordance with the Guidelines. Test/rebuilt reports shall be mailed or faxed to the City of Maple Grove Building Department at (000) 000-0000. The irrigation system shall be designed, and the Plans shall be modified accordingly, prior to the issuance of any permits for the development of the Property, to accommodate a 1-inch water meter and a maximum flow of 50 gallons per minute.

  • Eye Exams Limited to one (1) routine examination per year for which no copay applies.

  • Vaccination and Inoculation ‌ (a) The Employer agrees to take all reasonable precautions to limit the spread of infectious diseases among employees, including in-service seminars for employees. Where the Employer or Occupational Health and Safety Committee identifies high risk areas which expose employees to infectious or communicable diseases for which there are protective immunizations available, such immunizations shall be provided at no cost to the employee. The Committee may consult with the Medical Health Officer. Where the Medical Health Officer identifies such a risk, the immunization shall also be provided at no cost. The Employer shall provide Hepatitis B vaccine, free of charge, to those employees who may be exposed to bodily fluids or other sources of infection. (b) An employee may be required by the Employer, at the request of and at the expense of the Employer, to take a medical examination by a physician of the employee's choice. Employees may be required to take skin tests, x-ray examination, vaccination, and other immunization (with the exception of a rubella vaccination when the employee is of the opinion that a pregnancy is possible), unless the employee's physician has advised in writing that such a procedure may have an adverse effect on the employee's health.

  • Engineer Payment of Subproviders No later than ten (10) days after receiving payment from the State, the Engineer shall pay all subproviders for work performed under a subcontract authorized hereunder. The State may withhold all payments that have or may become due if the Engineer fails to comply with the ten-day payment requirement. The State may also suspend the work under this contract or any work authorization until subproviders are paid. This requirement also applies to all lower tier subproviders, and this provision must be incorporated into all subcontracts.

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