Ed Brinksma. On the improvement of LOTOS. Technical Report SEDOS/C/N6, Twente University of Technology, September 1985.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....is to look like A, then A restarted must look like A continued, a very strong constraint. In more realistic situations, B will need to keep track of A s evolution, and this can be done with the audit and checkpoint operators we will look at later. The disable operator of LOTOS [BdN86] OIS85] [Bri85], has had in the past some proposed variants with exactly the semantics of Displace. Its current version has a third rule that allows the normal agent to get rid of the exception agent by doing a termination (a distinguished action) Hoa85] deals briefly with an operator called the interrupt ....

Ed Brinksma. On the improvement of LOTOS. Technical Report SEDOS/C/N6, Twente University of Technology, September 1985.

....is to look like A, then A restarted must look like A continued, a very strong constraint. In more realistic situations, B will need to keep track of A s evolution, and this can be done with the audit and checkpoint operators we will look at later. The disable operator of LOTOS [BdN86] OIS85] [Bri85], has had in the past some proposed variants with exactly the semantics of Displace. Its current version has a third rule that allows the normal agent to get rid of the exception agent by doing a termination (a distinguished action) Hoa85] deals briefly with an operator called the interrupt ....

Ed Brinksma. On the improvement of LOTOS. Technical Report SEDOS/C/N6, Twente University of Technology, September 1985.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC