We present a new distributed algorithm for state space minimization modulo branching bisimulation.Like its predecessor it uses signatures for refinement, but the refinement process and the signatures have been optimized to exploit the fact that the input graph contains no tau-loops.The optimization in the refinement process is meant to reduce both

Introduction: priapism is defined as a prolonged and persistent erection of the penis that is unrelated to sexual desire; it can last more than 4 hours and constitutes a medical emergency.The incidence recorded in the general population is 1,5 cases per 100,000 persons per year and in those over 40 years of age it reaches 2,9.Objective: to describe

Background Many critically ill patients require transfer to a higher-level hospital for complex medical care.Despite the publication of the American Academy of Pediatrics Bleaching Powder guidelines for pediatric interhospital transportation services and the establishment of many pediatric transport programs, adverse events during pediatric transpo