Proton Induced Pi- Production from 7-Li

This work was supported by the National Science Foundation Grant NSF PHY 81-14339 and by Indiana Universit

Studies of Proton-Induced Neutral Pion Production Near Threshold

This work was supported by the National Science Foundation Grant NSF PHY 81-14339 and by Indiana Universit

Proton Radiative Capture by Deuterium at Medium Energies

This work was supported by the National Science Foundation Grant NSF PHY 81-14339 and by Indiana Universit

Measurement of the Forward Cross Section of p(n,d)y at 190 MeV

This work was supported by the National Science Foundation Grant NSF PHY 81-14339 and by Indiana Universit

Proton Radiative Capture by Deuterium at Medium Energies

This research was sponsored by the National Science Foundation Grant NSF PHY 87-1440

Radiative Capture of Tensor Polarized Deuterons on Hydrogen Isotopes

This research was sponsored by the National Science Foundation Grant NSF PHY 87-1440

Measurement Near Threshold of 9-Be(3-He, Pi) to the A = 12 Isobaric Triplet by Recoil Detection

This work was supported by the National Science Foundation Grant NSF PHY 81-14339 and by Indiana Universit

Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca

In this paper we propose an extension of the Rebeca language that can be used to model distributed and asynchronous systems with timing constraints. We provide the formal semantics of the language using Structural Operational Semantics, and show its expressiveness by means of examples. We developed a tool for automated translation from timed Rebeca to the Erlang language, which provides a first implementation of timed Rebeca. We can use the tool to set the parameters of timed Rebeca models, which represent the environment and component variables, and use McErlang to run multiple simulations for different settings. Timed Rebeca restricts the modeller to a pure asynchronous actor-based paradigm, where the structure of the model represents the service oriented architecture, while the computational model matches the network infrastructure. Simulation is shown to be an effective analysis support, specially where model checking faces almost immediate state explosion in an asynchronous setting.Comment: In Proceedings FOCLASA 2011, arXiv:1107.584

Tensor Polarized Deuteron Capture by the Hydrogen Isotopes

This research was sponsored by the National Science Foundation Grant NSF PHY 87-1440