The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
We present a continuous submetric deformation of the surface of the cube which increases the enclosed volume by about 25.67%. Categories and Subject Descriptors: I.3.5 [Computatio...
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
Inspired by longstanding lines of research in sociology and related fields, and by more recent largepopulation human subject experiments on the Internet and the Web, we initiate a...
An examination of Walter Benjamin’s notion of the aura as it appears in videogames, and the relation between the nondirectional sense of smell, non-directional visual fields, an...