Asynchronous spiking neural P systems with local synchronization of rules

•We propose the notion of local synchronization defined at the level of rules.•We prove the Turing universality of AsynSNP systems with locally synchronous use of rules.•We introduce the local synchronization of rules into SN P systems, and propose AsynSNP systems with locally synchronous use of rules.