Linking Theories Sample Clauses

Linking Theories. ‌ In this section, we provide a proof of the soundness of our technique for com- positional reasoning about CML-based contracts. As already explained, this is achieved by lifting our results to CML. For pragmatic reasons, the strat- egy for providing the justification of this lift is twofold: first, in Section 5.3, we lift the strategy from CSP to Circus; finally, in Section 5.4, we lift the strategy from Circus to CML. The reason is that, due to the nature of the schedule of the COMPASS project, in which the development of this deliver- able was done concomitantly with the development of the CML syntax and semantics. Hence, we adopted this strategy to first lift the whole systematic approach to a state-rich concurrent language, Circus, which has a structure and semantics similar to that of CML. T F In both steps of the lifting strategy, two very important theoretical links are needed: processes and refinement. This is because the composition rules from [RSM10], their side conditions, and their semantical correctness are based on the definitions of CSP processes and CSP refinement ( , and FD ). Overall, a complete theoretical link for processes and refinement from CML into CSP is provided for a subset of CML, considering the following restrictions: • untimed; • feasible (no miracles); • divergence free; • no object-oriented constructs; • no undefined expressions; • limited use of predicative specifications; • external choices are only among prefixed actions as defined in Ap- pendix C; • actions do not write to input variables. This link allows us to reuse the results from [Ram11] in CML for such pro- cesses. In Sections 5.1 and 5.2 we present an overview of the strategy to link CML processes and refinement to CSP processes and refinement, respectively. The details of the first part of the link, from Circus processes and refinement into CSP processes and refinement, is presented in Section 5.3 along with a discussion on the soundness of this mapping. Finally, in Section 5.4, we complete the link by providing the translation from CML to Circus.
Sample 1
AutoNDA by SimpleDocs

Related to Linking Theories

  • Protection of Legal Rights of Third Parties Registry Operator must specify, and comply with, the processes and procedures for launch of the TLD and initial registration-­‐related and ongoing protection of the legal rights of third parties as set forth Specification 7 attached hereto (“Specification 7”). Registry Operator may, at its election, implement additional protections of the legal rights of third parties. Any changes or modifications to the process and procedures required by Specification 7 following the Effective Date must be approved in advance by ICANN in writing. Registry Operator must comply with all remedies imposed by ICANN pursuant to Section 2 of Specification 7, subject to Registry Operator’s right to challenge such remedies as set forth in the applicable procedure described therein. Registry Operator shall take reasonable steps to investigate and respond to any reports from law enforcement and governmental and quasi-­‐governmental agencies of illegal conduct in connection with the use of the TLD. In responding to such reports, Registry Operator will not be required to take any action in contravention of applicable law.

  • Reporting of Abuse, Neglect, or Exploitation Consistent with provisions of 33 V.S.A. §4913(a) and §6903, any agent or employee of a Contractor who, in the performance of services connected with this agreement, has contact with clients or is a caregiver and who has reasonable cause to believe that a child or vulnerable adult has been abused or neglected as defined in Chapter 49 or abused, neglected, or exploited as defined in Chapter 69 of Title 33 V.S.A. shall make a report involving children to the Commissioner of the Department for Children and Families within 24 hours or a report involving vulnerable adults to the Division of Licensing and Protection at the Department of Disabilities, Aging, and Independent Living within 48 hours. This requirement applies except in those instances where particular roles and functions are exempt from reporting under state and federal law. Reports involving children shall contain the information required by 33 V.S.A. §4914. Reports involving vulnerable adults shall contain the information required by 33 V.S.A. §6904. The Contractor will ensure that its agents or employees receive training on the reporting of abuse or neglect to children and abuse, neglect or exploitation of vulnerable adults.

  • DISCIPLINE OF TEACHERS A. The Board may adopt rules and regulations not in conflict with the terms of this Agreement concerning the discipline of teachers.

  • EVALUATION OF TEACHERS 1. All reports on the work of a teacher shall be in writing.

  • PROTECTION OF TEACHERS A. The Board recognizes its responsibility to give all reasonable support and assistance to teachers with respect to the maintenance of control and discipline in the classroom.

  • Evaluation of Teaching 1. All reports on a teacher shall be in writing.

  • APPLICABILITY TO SUBCONTRACTORS Respondent agrees that all contracts it awards pursuant to the contract awarded as a result of this Agreement will be bound by the foregoing terms and conditions.

  • Employment of Consultants Part A: General Consultants’ services shall be procured in accordance with the provisions of the Introduction and Section IV of the “Guidelines: Selection and Employment of Consultants by World Bank Borrowers” published by the Bank in January 1997 and revised in September 1997 and January 1999 (the Consultant Guidelines) and the following provisions of Section II of this Schedule. Part B: Quality- and Cost-based Selection

  • Variation of this Agreement 9.01 The “Bank” may, from time to time at its sole and absolute discretion and determination vary, change, alter, modify, and/ or amend the terms and conditions of this Agreement, which variation, change, alteration, modification and/or amendment shall immediately become binding on the “Cardholder”. Such variation, alteration, modification, and/or amendment shall be notified to the “Cardholder” by the “Bank” either in writing or by publication thereof or by such means as the “Bank” may determine and a variation, alteration, modification, and/or amendment so notified shall be binding on the “Cardholder”.

  • Employment of Relatives The School and its employees shall comply with state law prohibiting the employment of relatives which prohibits the appointment, employment, promotion, or advancement, or the advocacy for appointment, employment, promotion, or advancement in or to a position in the charter school in which the personnel are serving or over which the personnel exercises jurisdiction or control of an individual who is a relative.

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