CSP Clause Samples

CSP bands and appurtenances shall be uniformly coated inside and outside with a 0.05 inch minimum thickness bituminous coating in accordance with AASHTO M 190.

CSP. ‌ The language of CSP was first described by Hoare [Hoa85]. It is a pro- cess algebra that can be used to describe systems composed by interacting components, which are independent self-contained entities (called processes) with particular interfaces that are used to interact with the environment. In [Ros98], a new version of CSP was presented: it differs from Hoare’s ver- sion only on the treatment of alphabets. It is the later version that forms the basis of FDR, a tool that model-checks a machine-processable subset of CSP, called CSPM, which is a combination of an ASCII version of CSP with an expression language inspired on functional languages. A link between the CSP and CSPM syntaxes can be found in [Ros98]. In what follows, we briefly describe the most important CSP constructs. → The two most basic CSP processes are STOP and SKIP ; the former dead- locks, and the latter does nothing and terminates. If P is a CSP process, and a an event, then the prefixing a P is initially able to perform only a, and after performing a it behaves as P . A boolean guard may be associated with a process: given a predicate g , if the condition g is true, the process g & P behaves like P ; it deadlocks otherwise. Processes P 1 and P 2 can be combined in sequence using the sequence operator: P 1; P 2. This process executes the process P 2 after the execution of P 1 terminates. The external choice P 1 Q P 2 initially offers events of both processes. The performance of the first event resolves the choice in favour of the process that performs \ | | H | | |

CSP. As of the Closing Date, CSP has no assets other than a minority interest in the Equity Interests of Shreveport Packaging Partners, LLC (the “JV”) and engages in no activities other than ownership of such Equity Interests. Neither CSP nor any of the Obligors has any obligation owing to the JV to supply the JV with products or any financial obligation owing to the JV.

CSP. Notwithstanding anything in the CSP’s standard contract documents or terms and conditions to the contrary, any right or obligation of the CSP to defend any Governmental Entity or its employees, officers, board members, agents, representatives, officials, or other like individuals shall be modified/amended solely to include an obligation to indemnify and hold harmless the Governmental Entity and its employees, officers, board members, agents, representatives, officials, or other like individuals. For the avoidance of doubt, the CSP shall have no right to defend any Governmental Entity or its employees, officers, board members, agents, representatives, officials, or other like individuals or be deemed to have been granted settlement authority as it relates to any claims made against any Governmental Entity or its employees, officers, board members, agents, representatives, officials, or other like individuals.

CSP. Some studies have reported increased CSP in untreated patients with IGE, (▇▇▇▇▇▇▇▇▇ et al., 2001), this was interpreted as increased intracortical inhibition to protect against seizure occurrence. In agreement with this, (▇▇▇▇▇ et al., 2009) found increased CSP in 21 patients and, of further interest, in their asymptomatic relatives. Results from other studies have reported no differences between controls and patients however, in both untreated (Delvaux 2001),(▇▇▇▇▇▇ et al., 2009) and medicated patients (▇▇▇▇▇▇▇▇▇▇ et al., 2000).

CSP. The CSP has been utilised as an index of cortical inhibition in focal epilepsy with heterogeneous results. In patients on AEDs with focal motor seizures, CSP length was found to be shorter in the ipsilateral hemisphere in comparison to controls, (▇▇▇▇▇▇▇▇ et al., 1998). In support, (▇▇▇▇▇ et al., 2005) observed shortened CSP in the ipsilateral hemisphere in medicated patients with focal epilepsies, which was more pronounced in extratemporal epilepsies. In contrast, CSP length was found to be increased in the ipsilateral hemisphere of patients with focal epilepsy on AEDs, (▇▇▇▇▇▇▇▇▇ et al., 2000). Furthermore they reported an inter-hemispheric asymmetry in the CSP length as a function of stimulus intensity, suggesting that there may be a dysfunction of cortical excitability which is dependent on stimulus intensity. As with motor threshold it seems that there is a lack of convergence within the focal epilepsy CSP literature, most probably as a result of heterogeneous patient groups and methodological inconsistencies in measuring the length of the silent period.

CSP. Presenters Workshop Outline

CSP. Communicating Sequential Processes (CSP) [Hoa85, ▇▇▇▇▇, ▇▇▇▇▇▇], a for- mal specification language introduced by Hoare [Hoa85] that is part of a class of languages that are known as process algebras, aims at describing communicating processes and interaction-driven computations. CSP’s domain of discourse consists of processes, which are self-contained components with particular interfaces through which they interact with their environment. The interface of a process is described as a set of events, which describe atomic, indivisible and instantaneous actions. A process is, therefore, characterised by the events it can engage in and their ordering. CSP is supported by an underlying theory to enable reasoning and model analysis about interaction and communication in this event-based model of interaction. In CSP, events are transmitted along communication channels, which carry messages of particular types. A channel has a set of associated events, cor- responding to all messages that may be carried through the channel. Process expressions are built out of events using a number of operators: Event prefixing, expressed in CSP as e P , describes a process that expects event e and then behaves as process P . Interleaving, described in CSP as P1 P2, defines a composition of two processes that execute in parallel without any synchronisation. The iterated version of interleaving, applies interleaving to any number of indexed processes: ||| i : N • P (i). • Parallel, P1 P2, describes the composition of two processes that exe- cute in parallel synchronising on the set A of events. • Sequential, P1; P 2, describes a process that executes P1 until it termi- nates, and then executes P2. • Hiding, P \ N , makes a set N of events internal to a process P . • Interrupt, P1 Δ P2, defines a composition that behaves like P1, but can be interrupted by a synchronisation on one of the initial events of P2, which then takes over. Throw, P1 Θ P 2, a relatively recent CSP operator [Ros10a], defines a form of interrupt where any occurrence of an event e ∈ A within P1 hands control to P2. Every CSP process P has an alphabet αP . Its semantics is given using four models: traces, failures, divergences and infinite traces. These are under- stood as observations of possible executions of the process P, in terms of the events from αP that it can engage in, refuse, or lead to divergence. 3 FMI Formally: state of the art‌ We present a survey of the FMI-related literature to better understand t...

CSP. If a single suprathreshold pulse is applied during voluntary tonically activated muscle contraction it produces an MEP followed by a temporary cessation of EMG activity, known as the cortical silent period (CSP). It is typically defined as the time from the end of the MEP to the return of voluntary EMG. Several observations have indicated that the silent period is a separate phenomenon from the MEP. For example, it can be evoked at lower stimulus intensities than the MEP (▇▇▇▇▇▇ et al., 1992)Furthermore, changes in the background contraction and stimulus intensity have different effects on the silent period and MEP (Inghilleri et al. 1993). There are thought to be two components to the silent period, the first spinal in origin, the second cortical. For example, there is evidence that spinal excitability is decreased during the early part of the silent period with reduced H-reflex amplitudes, (▇▇▇▇ et al., 1991). It is thought that the later part is generated exclusively by long lasting inhibition originating within the motor cortex, for example, the duration of CSP is consistent with the duration of the (IPSP) elicited by GABAb receptor activation in pyramidal cells (▇▇▇ et al., 2009). This is supported by the lengthening of the CSP by medications which increase the availability of GABAb in the synaptic cleft, tiagabine, (▇▇▇▇▇▇▇ et al., 1999) and vigabatrin (▇▇▇▇▇▇▇▇▇▇▇ et al., 2004). It is difficult to fully accept this as conclusive evidence that GABAb is involved however as these medications also facilitate GABAa availability, (▇▇▇▇▇▇▇ et al., 1996).