Vi studerar ett rumsligt ramverk för processalgebra med vanlig differentialekvation (ODE) semantik. Vi ser en explicit rörlighetsmodell över en 2D-lattice där processer kan gå till angränsande regioner självständigt, och interagera med varandra när de är i samma region. ODE-systemets storlek kommer att växa linjärt med antalet regioner, vilket hindrar analysen i praktiken. Om vi antar en opartisk slumpmässig gång, introducerar vi en approximation i termer av ett system av reaktionsdiffusion partiella differentialekvationer, av storlek oberoende av lattice granularity. Numeriska tester på en rumslig version av den generaliserade Lotka-Volterra modellen visar hög noggrannhet och mycket konkurrenskraftiga körtider mot ODE-lösningar för finkorniga gitter.
I det senaste arbetet REF studerar författarna en rumslig process algebra för modellering av mobila system med hjälp av reaktionsdiffusion PDE.
A Partial-differential Approximation for Spatial Stochastic Process Algebra
{'venue': 'VALUETOOLS', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}