A Pi-calculus formalism for discrete event simulation.
Jianrui WangRichard A. WyskPublished in: WSC (2008)
Keyphrases
- discrete event simulation
- discrete event
- formal language
- semiconductor manufacturing
- qualitative spatial reasoning
- supply chain
- computational properties
- transition systems
- process algebra
- qualitative spatial
- knowledge representation
- formal theory
- data mining
- dynamic systems
- cardinal directions
- dynamic programming
- control system
- search space
- search algorithm