Basic Theory of Constraint Automata Sample Clauses

Basic Theory of Constraint Automata. Constraint automata were introduced as the semantics of Reo first in [30]. The semantics of constraint automata is based on timed data streams and their languages. In other words, constraint automata are defined as acceptors of the tuples of timed data streams and two constraint automata are (language - theoretically) equivalent if they accept exactly the same set of tuples of timed data streams. In this section, we describe the basic theory of constraint automata, their semantics and their composition operators as introduced in [30].
AutoNDA by SimpleDocs

Related to Basic Theory of Constraint Automata

  • WARRANTY OF CONSTRUCTION A. In addition to any other warranties in this Contract, the Contractor warrants, except as provided in Paragraph D. of this Article, that work performed under this Contract conforms to the Contract requirements and is free of any defect in equipment, material, or design furnished, or workmanship performed by the Contractor or any subcontractor or supplier at any tier.

  • Environmental constraints and management Describe or cross refer to environmental constraints applicable to the Contractor’s plan and his activities on the Affected Property and how they should be managed. Include here or cross refer to an Annexure to the Service Information. The Contractor shall comply with the environmental criteria and constraints stated in Annexure

  • ICIF Construction The ICIF shall be designed and constructed in accordance with Good Utility Practice. Within one hundred twenty (120) Calendar Days after the Commercial Operation Date, unless the Parties agree on another mutually acceptable deadline, Interconnection Customer shall deliver to Transmission Provider and Transmission Owner “as-built” drawings, information and documents for the ICIF, such as: a one-line diagram, a site plan showing the Generating Facility and the ICIF, plan and elevation drawings showing the layout of the ICIF, a relay functional diagram, relaying AC and DC schematic wiring diagrams and relay settings for all facilities associated with the Interconnection Customer’s step-up transformers, the facilities connecting the Generating Facility to the step-up transformers and the ICIF, and the impedances (determined by factory tests) for the associated step-up transformers and the Generating Facility. Interconnection Customer shall provide Transmission Provider and Transmission Owner with Interconnection Customer’s specifications for the excitation system, automatic voltage regulator, Generating Facility control and protection settings, transformer tap settings, and communications, if applicable.

  • Identification of Construction Documents The Design Professional shall identify the Construction Documents, which shall include, but are not limited to, the Specifications, the Drawings, and all Addenda. The Construction Documents are included within the Contract Documents.

  • MONITORING OF CONSTRUCTION 13.1 Monthly progress reports During the Construction Period, the Concessionaire shall, no later than 7 (seven) days after the close of each month, furnish to the Authority and the Independent Engineer a monthly report on progress of the Construction Works and shall promptly give such other relevant information as may be required by the Independent Engineer.

  • Commencement of Construction Construction of the Project will start within thirty (30) days after notification to the Developer by the Owner, or as soon thereafter as weather and ground conditions permit.

  • CERTIFICATION PROHIBITING DISCRIMINATION AGAINST FIREARM AND AMMUNITION INDUSTRIES (Texas law as of September 1, 2021) By submitting a proposal to this Solicitation, you certify that you agree, when it is applicable, to the following required by Texas law as of September 1, 2021: If (a) company is not a sole proprietorship; (b) company has at least ten (10) full-time employees; (c) this contract has a value of at least $100,000 that is paid wholly or partly from public funds; (d) the contract is not excepted under Tex. Gov’t Code § 2274.003 of SB 19 (87th leg.); and (e) governmental entity has determined that company is not a sole-source provider or governmental entity has not received any bids from a company that is able to provide this written verification, the following certification shall apply; otherwise, this certification is not required. Pursuant to Tex. Gov’t Code Ch. 2274 of SB 19 (87th session), the company hereby certifies and verifies that the company, or association, corporation, partnership, joint venture, limited partnership, limited liability partnership, or limited liability company, including a wholly owned subsidiary, majority-owned subsidiary parent company, or affiliate of these entities or associations, that exists to make a profit, does not have a practice, policy, guidance, or directive that discriminates against a firearm entity or firearm trade association and will not discriminate during the term of this contract against a firearm entity or firearm trade association. For purposes of this contract, “discriminate against a firearm entity or firearm trade association” shall mean, with respect to the entity or association, to: “(1) refuse to engage in the trade of any goods or services with the entity or association based solely on its status as a firearm entity or firearm trade association; (2) refrain from continuing an existing business relationship with the entity or association based solely on its status as a firearm entity or firearm trade association; or (3) terminate an existing business relationship with the entity or association based solely on its status as a firearm entity or firearm trade association. See Tex. Gov’t Code § 2274.001(3) of SB 19. “Discrimination against a firearm entity or firearm trade association” does not include: “(1) the established policies of a merchant, retail seller, or platform that restrict or prohibit the listing or selling of ammunition, firearms, or firearm accessories; and (2) a company’s refusal to engage in the trade of any goods or services, decision to refrain from continuing an existing business relationship, or decision to terminate an existing business relationship to comply with federal, state, or local law, policy, or regulations or a directive by a regulatory agency, or for any traditional business reason that is specific to the customer or potential customer and not based solely on an entity’s or association’s status as a firearm entity or firearm trade association.” See Tex. Gov’t Code § 2274.001(3) of SB 19.

  • DAF Construction The DAF shall be designed and constructed in accordance with Good Utility Practice. Within one hundred twenty (120) Calendar Days after the Commercial Operation Date, unless the Developer and Connecting Transmission Owner agree on another mutually acceptable deadline, the Developer shall deliver to the Connecting Transmission Owner and NYISO “as- built” drawings, information and documents for the DAF, such as: a one-line diagram, a site plan showing the Large Generating Facility and the DAF, plan and elevation drawings showing the layout of the DAF, a relay functional diagram, relaying AC and DC schematic wiring diagrams and relay settings for all facilities associated with the Developer’s step-up transformers, the facilities connecting the Large Generating Facility to the step-up transformers and the DAF, and the impedances (determined by factory tests) for the associated step-up transformers and the Large Generating Facility. The Developer shall provide to, and coordinate with, Connecting Transmission Owner and NYISO with respect to proposed specifications for the excitation system, automatic voltage regulator, Large Generating Facility control and protection settings, transformer tap settings, and communications, if applicable.

  • No Construction Against Drafter The Parties acknowledge that this Agreement and all the terms and conditions contained herein have been fully reviewed and negotiated by the Parties. Having acknowledged the foregoing, the Parties agree that any principle of construction or rule of law that provides that, in the event of any inconsistency or ambiguity, an agreement shall be construed against the drafter of the agreement shall have no application to the terms and conditions of this Agreement.

  • No Rule of Strict Construction Regardless of which party may have drafted this Agreement, no rule of strict construction shall be applied against either party. If any provision of this Agreement is determined by a court to be unenforceable, the parties shall deem the provision to be modified to the extent necessary to allow it to be enforced to the extent permitted by law, or if it cannot be modified, the provision will be severed and deleted from this Agreement, and the remainder of this Agreement will continue in effect.

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