Nobuko Yoshida

Learn More
We combine data from a number of N-body simulations to predict the abundance of dark haloes in cold dark matter (CDM) universes over more than four orders of magnitude in mass. A comparison of different simulations suggests that the dominant uncertainty in our results is systematic and is smaller than 10±30 per cent at all masses, depending on the halo(More)
Many parallel and distributed message-passing programs are written in a parametric way over available resources, in particular the number of nodes and their topologies, so that a single parallel program can scale over different environments. This article presents a parameterised protocol description language, Pabble, which can guarantee safety and progress(More)
Designing, developing and maintaining concurrent applications is an error-prone and time-consuming task; most difficulties arise because compilers are usually unable to check whether the inputs/outputs performed by a program at runtime will adhere to a given protocol specification. To address this problem, we propose lightweight session programming in(More)
Characterising contextual equivalence is a long-standing issue for higher-order (process) languages. In the setting of a higher-order π-calculus with sessions, we develop characteristic bisim-ilarity, a typed bisimilarity which fully characterises contextual equivalence. To our knowledge, ours is the first characterisation of its kind. Using simple values(More)
Spatial Logics are used to reason about data structures and hierarchical network structures. Automated decision procedures for these logics allow us to formally verify the properties of a system, highlighting errors in the system before it is released. A specific instance of Spatial Logics is the Tree Logic, which describes the structural properties of(More)
  • 1