Local Correctness Implies Blame Soundness Sample Clauses

Local Correctness Implies Blame Soundness. A locally correct module p cannot be blamed. The key insight for proving this result is that local correctness of p in a process P grants a number of global properties on the (busy) monitors referring to p in P . Crucially, these properties hold anywhere in P (not just within module p) and are invariant under arbitrary reductions of P . Henceforth, we write P ⊃ e (or equivalently e ⊂ P ) if the sub-expression e occurs in P . Definition 5.6 (module soundness). We say that module p is sound in P if:
AutoNDA by SimpleDocs

Related to Local Correctness Implies Blame Soundness

  • Social and Environmental Responsibility Supplier warrants that in all countries in which Supplier and, to Supplier’s information and belief, Supplier’s authorized subcontractors do business, its and their operations comply with all applicable laws and regulations governing labor and employment, employee health and safety, protection of the environment, and ethical practices. Supplier will comply with DXC Supplier Code of Conduct (xxxxx://xxx.xxx.xxxxxxxxxx/cr/ds/118945- csc_responsible_supply_chain_program), including establishment of management systems as described therein.

  • Additional Insured Status and Scope of Coverage The County of Los Angeles, its Special Districts, Elected Officials, Officers, Agents, Employees and Volunteers (collectively County and its Agents) shall be provided additional insured status under Contractor’s General Liability policy with respect to liability arising out of Contractor’s ongoing and completed operations performed on behalf of the County. County and its Agents additional insured status shall apply with respect to liability and defense of suits arising out of the Contractor’s acts or omissions, whether such liability is attributable to the Contractor or to the County. The full policy limits and scope of protection also shall apply to the County and its Agents as an additional insured, even if they exceed the County’s minimum Required Insurance specifications herein. Use of an automatic additional insured endorsement form is acceptable providing it satisfies the Required Insurance provisions herein.

  • Environmental Responsibility 44.1 GTE and DTI agree to comply with applicable federal, state and local environmental and safety laws and regulations including U.S. Environmental Protection Agency (EPA) regulations issued under the Clean Air Act, Clean Water Act, Resource Conservation and Recovery Act, Comprehensive Environmental Response, Compensation and Liability Act, Superfund Amendments and Reauthorization Act and the Toxic Substances Control Act and OSHA regulations issued under the Occupational Safety and Health Act of 1970. Each Party has the responsibility to notify the other if Compliance inspections occur and/or citations are issued that impact any aspect of this Agreement such as occurring on a LEC Facility or involving DTI potential employee exposure.

  • Malicious Use of Orphan Glue Records Registry Operator shall take action to remove orphan glue records (as defined at xxxx://xxx.xxxxx.xxx/en/committees/security/sac048.pdf) when provided with evidence in written form that such records are present in connection with malicious conduct.

  • Certification Regarding Responsibility Matters This provision applies to solicitations where the contract value is expected to exceed the simplified acquisition threshold.

  • Optional Xactimate Response Attachment (Part 2)

  • Health and Safety Representatives 58.1 The Employer and its Employees will comply with Part 7 of the OHS Act – Representation of Employees in relation to the establishment of designated work groups and the election of Health and Safety Representatives.

  • INSURANCE AND PROOF OF FINANCIAL RESPONSIBILITY Contractor understands and agrees that financial responsibility for claims or damages to any person, or to Contractor’s employees and agents, shall rest with the Contractor. Contractor and its subcontractors shall effect and maintain any insurance coverage, including, but not limited to, Workers’ Compensation, Employers’ Liability, General Liability, Contractual Liability, Automobile Liability and Umbrella Liability to support such financial obligations. The indemnification obligation, however, shall not be reduced in any way by existence or non-existence, limitation, amount or type of damages, compensation, or benefits payable under Workers’ Compensation laws or other insurance provisions. The minimum limits of insurance required of the Contractor by MPS shall be: Workers’ Compensation Statutory Limits Employers’ Liability $100,000 per occurrence General Liability $1,000,000 per occurrence/$2,000,000 aggregate Auto Liability $1,000,000 per occurrence Umbrella (excess) Liability $1,000,000 per occurrence The Milwaukee Board of School Directors shall be named as an additional insured under Contractor’s and subcontractors’ general liability insurance and umbrella liability insurance. Evidence of all required insurances of Contractor shall be submitted electronically to MPS via its third party vendor, EXIGIS Risk Management Services. Waivers and exceptions to the above limits will be in the sole discretion of MPS and shall be recorded in the EXIGIS system, which records are incorporated into this Contract by reference. The certificate of insurance or policies of insurance evidencing all coverages shall include a statement that MPS shall be afforded a thirty (30) day written notice of cancellation, non-renewal or material change by any of Contractor’s insurers providing the coverages required by MPS for the duration of this Contract.

  • Federal Occupational Safety and Health Law Contractor represents and warrants that all articles and services shall meet or exceed the safety standards established and promulgated under the Federal Occupational Safety and Health Act of 1970, as amended (29 U.S.C. Chapter 15).

  • Drug-Free Workplace Certification As required by Executive Order No. 90-5 dated April 12, 1990, issued by the Governor of Indiana, the Contractor hereby covenants and agrees to make a good faith effort to provide and maintain a drug-free workplace. The Contractor will give written notice to the State within ten (10) days after receiving actual notice that the Contractor, or an employee of the Contractor in the State of Indiana, has been convicted of a criminal drug violation occurring in the workplace. False certification or violation of this certification may result in sanctions including, but not limited to, suspension of contract payments, termination of this Contract and/or debarment of contracting opportunities with the State for up to three (3) years. In addition to the provisions of the above paragraph, if the total amount set forth in this Contract is in excess of $25,000.00, the Contractor certifies and agrees that it will provide a drug-free workplace by:

Time is Money Join Law Insider Premium to draft better contracts faster.