Simulation of communications architecture specifications using Prolog


The design of the Cara simulator, a Prolog-based simulator for communications architecture specifications, is described. Unlike other Prolog-based simulation methods, the Cara simulator supports “exploratory simulation”, in which high-level, incomplete specifications may be simulated, and various specification alternatives and elaborations added… (More)
DOI: 10.1145/130069.130140


1 Figure or Table