An FSP Specification for a museum scenario, demonstrating concurrent threading