Learn More
We study the verification problem for parameterized communicating automata (PCA), in which processes synchronize via message passing. A given PCA can be run on any topology of bounded degree (such as pipelines, rings, or ranked trees), and communication may take place between any two processes that are adjacent in the topology. Pa-rameterized verification(More)
INTRODUCTION Prophylactic vaccinations play a significant role in health care. As a relatively cost-effective preventive measure they can help to avert transmissible diseases and thus protect not only the vaccinated individuals themselves but also those who have not been vaccinated. In order to achieve this, a high vaccination rate is necessary; for many(More)
  • 1