A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
Various properties for the preservation of re nement through parallel composition are discussed. ... An operational characterisation is also given in terms of timed and untimed tests, and observed to coincide with the denotational characterisation. ... In particular Bill Roscoe was responsible for the formulation of the alternating bit protocol presented here. ...doi:10.1007/3-540-58027-1_9 fatcat:blxl2jsrsjgepnnxwrdioy4dxi
Using the Hierarchical Ansatz (HA) as a toy model for the higher order correlation hierarchy, we show how in the soft limit, polyspectra at a given order can be identified with lower order polyspectra ... To quantify the effects of transients in numerical simulations, we also present results for lowest order in Lagrangian perturbation theory (LPT) or the Zel'dovich approximation (ZA). ... Fourier-transform defines the related collapsed multispectra S pq (k): S pq (k ′ ) = d 3 k (2π) 3 S pq (x 12 ) exp[ix 12 · k ′ ]. (2.9) Using Eq.(2.8) in Eq.(2.9) we arrive at the following expression ...doi:10.1088/1475-7516/2017/02/010 fatcat:wbwzoktrufb3vj2xiootrl47vq
An implicit numerical scheme is proposed in Chapter 2 for simulating the mechanical response of thin-walled structures subjected to inelastic cyclic loading. ... Constitutive relations are integrated implicitly using the Euler-backward integration technique. ... The results presented in Fig. 2.31 show that local ovalization or net pipe elongation may not be appropriate parameters for inter-relating collapse between monotonic and cyclic cases. ...doi:10.7488/era/801 fatcat:p2gbta3sivbpnjaqfbgx5h6tju