… , (ii) the relation between the goal and the … between concrete-LIT versus abstract-LIT concepts,
we'll use this distinction to describe them, while also using the concrete-SC versus abstract…

… , has no relation to physical time, ie, the passage of time on a wall clock or time measuring
device. The reactor model, however, establishes a relationship between logical and physical …

… semantics for an abstract effect system for a higher-order, shared-variable concurrent language. …
assumptions also has many similarities with our logical relation [24, Def.4]. The idea of …

… existence of parallel stages, analogously sequenced from concrete to abstract though they
… It includes making different forms of connections between the physical representations and …

… Users told us positive feedback like “it helped us connecting our models,”“it helped us to
clarify the interfaces,” as well as negative feedback like “we needed first to learn to use the tool, …

… Section 6 gives a simpler (more abstract) model of CKA. It abstracts from the intricate …
Rather, we adopt a downward closure condition which ensures that a relation \(\le \) between …

… ties the authoritative heap and the physical heap used in program reduction together, we can
make a connection between … define concurrent separation logics in a concise and abstract …

… to use the logical relation to prove contextual refinement of fine-grained concurrent algorithms.
… In §6.4, we show how to use the logical relation to prove contextual refinement of fine-…

… Such a distinction would depend on relationships between the girl and the other entities
comprising the situation, which by definition arise de novo from the particulars of the situation …

… build efficient executable systems within these models. This … the development and verification
of concurrent systems; it also … system, we can abstract the channel communications even …