1. PiDES: A FORMALISM FOR COMPLEX ADAPTIVE DISCRETE EVENT SIMULATION Open Access Author: Wang, Jianrui Title: PiDES: A FORMALISM FOR COMPLEX ADAPTIVE DISCRETE EVENT SIMULATION Graduate Program: Industrial Engineering Keywords: formalismhigh level architecturediscrete event simulationstochastic pi-calculus File: Download JianruiWangPhDThesis.pdf Committee Members: Richard Allen Wysk, Dissertation Advisor/Co-AdvisorRichard Allen Wysk, Committee Chair/Co-ChairSanjay B Joshi, Committee MemberAkhil Kumar, Committee MemberVittaldas V Prabhu, Committee MemberLing Rothrock, Committee Member