Reactive Relations and Conditions Sample Clauses

Reactive Relations and Conditions. ‌ In this section we introduce a form of reactive relation which we will use to describe assumptions and guarantees in our reactive contracts. A reactive relation is an R1-R2c healthy predicate that does not have ok, okj, wait, and waitj in its alphabet. Such a relation is effectively an alphabetised relation with the non-relational trace variable tt present. We define the following healthiness condition for reactive relations:
AutoNDA by SimpleDocs

Related to Reactive Relations and Conditions

  • GEOGRAPHIC AREA AND SECTOR SPECIFIC ALLOWANCES, CONDITIONS AND EXCEPTIONS The following allowances and conditions shall apply where relevant: Where the company does work which falls under the following headings, the company agrees to pay and observe the relevant respective conditions and/or exceptions set out below in each case.

  • SAFETY CONDITIONS OF EMPLOYMENT A. The District and its employees shall be safety conscious in their conduct and actions and shall cooperate in the implementation of the District's safety program.

  • Code of Basic Working Conditions and Human Rights Xxxxx is committed to providing a safe and secure working environment and the protection and advancement of basic human rights in its worldwide operations. In furtherance of this commitment, Xxxxx has adopted a Code of Basic Working Conditions and Human Rights setting out in detail the measures it takes to ensure this commitment is fulfilled. This code may be downloaded at xxxxx://xxx.xxxxxx.xxx/principles/xxxxx-xxxxxx.xxxx. Xxxxx strongly encourages Seller to adopt and enforce concepts similar to those embodied in the Boeing Code, including conducting Seller’s operations in a manner that is fully compliant with all applicable laws and regulations pertaining to fair wages and treatment, freedom of association, personal privacy, collective bargaining, workplace safety and environmental protection. Seller shall include the substance of this clause, including this flowdown requirement, in all subcontracts awarded by Seller for work under this Contract.

  • Adverse Weather Conditions Except in emergency situations, the Employer shall not require an employee:

  • Training Conditions 3.1 The Trainee shall attend an approved training course or training program prescribed in the Training Agreement or as notified to the trainee by the relevant State or Territory Training Authority in accredited and relevant Traineeship Schemes.

  • CONDITIONS APPLICABLE PENDING TRANSFER As has already been referred to in this agreement, the common property will be owned and controlled by a body corporate for and on behalf of all owners including the purchaser. As the body corporate will only be established once the first transfer of a unit in the development has occurred, the Seller shall from the completion date and until the date of the establishment of the body corporate bear the rights and obligations of the body corporate. In this regard, during the period from the completion date until date of transfer, the following conditions shall apply:

  • Employment Conditions Staff employed on the twilight shift shall be subject to the following employment conditions:

  • GENERAL CONDITIONS OF EMPLOYMENT 30 31 Section A - Fair Employment Practices

  • TRAINING AND RELATED MATTERS The parties recognise that in order to increase the efficiency and productivity of the company a significant commitment to structured training and skill development is required. Accordingly the parties commit themselves to:

  • TEACHING CONDITIONS The parties recognize that the availability of optimum school facilities for both student and teacher is desirable to insure the high quality of education that is the goal of both the teacher and the Board. It is also acknowledged that the primary duty and responsibility of the teacher is to teach and that the organization of the school and the school day should be directed at insuring that the energy of the teacher is primarily utilized to this end.

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