Simulation language based on logic for queueing network using time object.
Takashi WatanabeHikaru NakanishiHidehiko SanadaYoshikazu TezukaPublished in: Systems and Computers in Japan (1988)
Keyphrases
- queueing networks
- product form
- heavy traffic
- steady state
- formal language
- long run
- modal operators
- queueing systems
- logic programming
- dynamic logic
- d objects
- proof theory
- operational semantics
- modal logic
- programming language
- single server
- stationary distribution
- state dependent
- buffer allocation
- object identity
- database systems
- multiclass queueing networks
- fluid model
- queue length
- utility function
- artificial neural networks
- multi agent systems
- natural language
- bayesian networks