Calendar queues: a fast 0(1) priority queue implementation for the simulation event set problem
Communications of the ACM
Information Processing Letters
Analysis for Active Network Security Abased on Pi-Calculus Model
ICCNMC '03 Proceedings of the 2003 International Conference on Computer Networks and Mobile Computing
ANSS '07 Proceedings of the 40th Annual Simulation Symposium
A Spatial Extension to the π Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
The event queue problem and PDevs
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
A Grid-Inspired Mechanism for Coarse-Grained Experiment Execution
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
A Bounded-Optimistic, Parallel Beta-Binders Simulator
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
An Abstract Machine for the Stochastic Bioambient calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
A flexible and scalable experimentation layer
Proceedings of the 40th Conference on Winter Simulation
A plug-in-based architecture for random number generation in simulation systems
Proceedings of the 40th Conference on Winter Simulation
Efficient, correct simulation of biological processes in the stochastic pi-calculus
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Beta binders for biological interactions
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Selecting Simulation Algorithm Portfolios by Genetic Algorithms
PADS '10 Proceedings of the 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation
Evaluating simulation software components with player rating systems
Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques
Hi-index | 0.01 |
The π-Calculus is a modeling formalism for concurrent processes. Realized as part of the plug-in based modeling and simulation framework JAMES II, we propose an architecture for π-Calculus-based modeling and simulation, which supports both flexibility and efficiency. Facilitating the design of new π-Calculus-based formalisms and simulators is of particular relevance in the field of computational systems biology, for which many different π-Calculus dialects and simulators have been and still are being developed. Therefore, a flexible representation of π-Calculus models is used, which is illustrated by a mapping from the biochemical variant of the π-Calculus to the representation. Simulation engines are exchangeable and even automatically configurable according to the task at hand. Moreover, we present three different simulator implementations, working on the model representation. Efficiency denotes that our architecture supports the implementation of high-performance simulators. In order to assess efficiency, we perform experiments with these simulators and compare the results to the current cutting edge implementation in the field, the Stochastic Pi Machine.