[A-10] Mathematical Systems Science and its Application

11:00 AM - 11:15 AM JST(2:00 AM - 2:15 AM UTC)

[A-10-08] Efficiency Improvement of Logistics Simulator using Ambient Calculus based on
Regional Partitioning Partial Order Reduction

〇JiaXing Liu¹, Toru Kato¹ (1. Kindai Univ.)

Keywords:

Ambient Calculus,Logistics Simulator,Regional Partitioning