output
19922026
Showing 2008Show all

130 papers · 1 filter

cs.LO2008★ 9 cited

On Synchronous and Asynchronous Interaction in Distributed Systems

Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke

When considering distributed systems, it is a central issue how to deal with interactions between components. In this paper, we investigate the paradigms of synchronous and asynchr…

cs.LO2008★ 3 cited

Symmetric and Asymmetric Asynchronous Interaction

Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke

We investigate classes of systems based on different interaction patterns with the aim of achieving distributability. As our system model we use Petri nets. In Petri nets, an inher…

math.PR2008★ 24 cited

Weak Solutions of the Stochastic Landau-Lifshitz-Gilbert Equation

Z. Brzezniak, B. Goldys

The Landau-Lifshitz-Gilbert equation perturbed by a multiplicative space-dependent noise is considered for a ferromagnet filling a bounded three-dimensional domain. We show the exi…

astro-ph2008★ 26 cited

HD 91669b: A New Brown Dwarf Candidate from the McDonald Observatory Planet Search

Robert A. Wittenmyer, Michael Endl, William D. Cochran +4

We report the detection of a candidate brown dwarf orbiting the metal-rich K dwarf HD 91669, based on radial-velocity data from the McDonald Observatory Planet Search. HD 91669b is…

cs.LO2008★ 1 cited

Branching Bisimilarity with Explicit Divergence

Rob van Glabbeek, Bas Luttik, Nikola Trcka

We consider the relational characterisation of branching bisimilarity with explicit divergence. We prove that it is an equivalence and that it coincides with the original definitio…

nucl-th2008★ 68 cited

Chiral susceptibility and the scalar Ward identity

Lei Chang, Yu-xin Liu, Craig D. Roberts +3

The chiral susceptibility is given by the scalar vacuum polarisation at zero total momentum. This follows directly from the expression for the vacuum quark condensate so long as a…