We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
This paper is an extension to and revision of Gonzalez and Ahlers' [6] definition of the Context-Based Reasoning Paradigm. Included are rigorous definitions of all terms and ...
Brian S. Stensrud, Gilbert C. Barrett, Avelino J. ...
This article presents an extension to the timed binary Cell-DEVS paradigm. The goal is to allow the modelling of n-dimensional generic cell spaces, including transport or inertial...
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...