Arni Hermann Reynisson

Learn More
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 expressive-ness by means of examples. We developed a tool for automated translation from timed Rebeca to the(More)
  • 1