This paper is dedicated to the memory of Clifford Truesdell, to whom I acknowledge my debt and gratitude. I present some recent results of mine on thermomechanics of crystalline solids, a research on which I began working during my stay at The Johns Hopkins University, 1977–1979. Then, in the last section, I mention some unusual merits of Truesdell, which I experienced in my scientific career a...

We analyse the validity of common optimisations on multi-threaded programs in two memory models—the DRF guarantee and the Java Memory Model. Unlike in the single-threaded world, even simple program transformations, such as common subexpression elimination, can introduce new behaviours in shared-memory multi-threading with an interleaved semantics. To validate such optimisations, most current pr...

We consider several integrable systems from a standpoint of the SL(2,R) invariant gauge theory. In the Drinfeld-Sokorov gauge, we get a one parameter family of nonlinear equations from zero curvature conditions. For each value of the parameter the equation is described by weak Lax equations. It is transformed to a set of coupled equations which pass the Painlevé test and are integrable for any ...

This paper introduces a notion of equivalence for higher-dimensional automata, called weak equivalence. Weak focuses mainly on traditional trace language and new homology language, which captures the overall independence structure an HDA. It is shown that compatible with both tensor product coproduct HDAs that, under certain conditions, may be reduced to weakly equivalent smaller ones by mergin...