We study decidability of a logic for describing processes with restricted names. We choose a minimal fragment of the Ambient Logic, but the techniques we present should apply to every logic which uses Cardelli and Gordon revelation and hiding operators, and Gabbay and Pitts freshness quantifier. We start from the static fragment of ambient logic that Calcagno, Cardelli and Gordon proved to be d...

A fault in a complex technical system usually leads to a large number of consequential faults. In a modern control room, most variables are measured and monitored by alarms. Therefore, a non-trivial fault usually leads to a large amount of triggered alarms, a so-called alarm cascade. Alarm cascades cause information overload and renders the alarm system useless during incidents. GoalArt has dev...

27 Social pollinators such as honey bees face attacks from predators not only at the nest, but also during 28 foraging. Pollinating honey bees can therefore release alarm pheromones that deter conspecifics from visiting 29 dangerous inflorescences. However, the effect of alarm pheromone and its chemical components upon bee 30 avoidance of dangerous food sources remains unclear. We tested the re...