T. Bolognesi and R. de Nicola. A tutorial on LOTOS. Technical report, C.N.R. Pisa, March 1986.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....when f = 1. If P 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 ....

T. Bolognesi and R. de Nicola. A tutorial on LOTOS. Technical report, C.N.R. Pisa, March 1986.

....when f = 1. If P 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 ....

T. Bolognesi and R. de Nicola. A tutorial on LOTOS. Technical report, C.N.R. Pisa, March 1986.

....4 place Jussieu, 75252 Paris cedex 05, France 5 National Center for Atmospheric Research, Boulder CO 80307 3000, USA 6 Center for Ocean Land Atmosphere Studies, 4041 Powder Mill Road, Calverton, MD 20720, USA 7 Max Planck Institut fr Meteorologie, Bundesstr. 55, 20146 Hamburg, Germany 8 Laboratoire de Meteorologie Dynamique du CNRS, 24 rue Lhomond, 75231 Paris cedex 05, France 9 Tokyo Institute of Technology, Ookayama 2 12 1, Meguro, Tokyo 152, Japan 10 Geophysical Fluid Dynamics Laboratory, Princeton, NJ 08542, USA 11 NASA Goddard Space Flight Center, Greenbelt, MD 20771, USA 12 European Centre for Medium ....

Laboratoire de Meteorologie Dynamique, Technical Report, February 1994.

.... the execution at the source level, SFC simulation ffl Connection to proof tools: testing safety properties of Pure ESTEREL programs and SFC with BAC (Boolean Automaton Checker) 18] and TEMPEST [19] a temporal logic formula checker, automaton and transition system analysis with AUTO [20] and MEC [21] timed automata with HyTech [22] ffl Execution machine implementations with various code generators. 4 Rationale for teaching the synchronous approach 4.1 Point of view Usually, students acquire programming skills through transformational system programming. They are ....

R. de Simone and D. Vergamini. Aboard AUTO. Technical Report 111, INRIA, October 1989.

....ffl Q if and only if P ffi n 2 Q where n is the maximal number of components in the networks P and Q. Since the integer processes in the (n 2) semantics are finite state, ffi n 2 can be checked using the existing techniques and algorithms for bisimulation checking, such as [KS90, SV89, PT87, JGZ89, CPS89] and hence so can ffl . Finally, we extend the results to weak time abstracted equivalence. 5.1 Partitioning State Space into Equivalence Classes To illustrate the idea, we consider a simple regular process: P def = ff:Q ffl(1) R The process may offer ff before ....

R. De Simone and D. Vergamini. Aboard AUTO. Technical Report 111, INRIA, Sofia--Antipolis, 1989.

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