Reasoning about places, times, and actions in the presence of mobility

IEEE Transactions on Software Engineering

Volumn 22, Issue 4, 1996, Pages 225-247

  Donald Wilcox, C ^a,b   Roman, Gruia Catalin ^a,b  

^a Wilox is Louitcil

^b WASHINGTON UNIVERSITY   (United States)

Author keywords

Action; Formai derivation; Mobile computing; Place; Specification refinement; Time; UNITY

Indexed keywords

EID: 1442272795     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.491647     Document Type: Article

References (10)

1. M. Abadi and L. Lamport, An Old-Fashioned Reripe For Reallime, Real-Time: l'heory in Practice, J.W. De Bakker, C. Huizing, VV.P. Roever, and C. Rosenberg, eds., Lecture Noies ni Computer Science, vol. 600, pp. 1-27. Berlin: Springer-Verlag, 1991.
2. K.M. Chandy and J. Misra, Parallel Program Design: A Foundation. New York, N.Y.: Addison-Wesley, 1988.
3. T.A. Henzinger, Z. Manna, and A. Pnueli, Timed Transition Systems, Real-Time: Theory in Practice, J.W. De Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, eds., lecture Notes m Computer Seiend', vol. 600, pp. 226-251. Berlin: Springer-Verlag, 1991.
4. S.S. Lam and A.U. Shankar, A Relational Notation lor State Transition Systems, IEEE Trans. Software Engineering, vol. 16, no. 7, pp. 755-775, 1990.
5. L. Lamport, The Temporal Logic of Artions, AC.M Trans. Programming Language? and Siystems, vol. 16, no. 3, pp. 872-923, 1994.
6. N. Lynch and F. Vaandrager, Forward and Backward Simulations for Timing-Based Systems, Real-Time: Theory in Practice, J.W. De Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, eds., Lcciitre Notes in Computer Science, vol. 600, pp. 397-446. Berlin: Springer-Vprl.ig, 1991.
7. N. Reseller and A. Urquhart, Temporal Logic. New York: SpringerVerlag, 1971.
8. G.-C. Roman, R.F. Gamble, and W.E. Ball, Formal Derivation of Rule-Based Programs, IF.F.F. Trans. Software Engineering, vol. 19, no. 3, pp. 227-296,1993.
9. A.U. Shankar and S.S. Lam, Time-Dependent Distributed Systems: Proving Safety, Liveness, and Real-Time Properties, Distributed Computing, vol. 2, pp. 61-79, '1987.
10. M. Staskauskas, Formal Derivation of Concurrent Programs: An example from Industry, IEEE Traws. Softionre Engineering, vol. 19, no. 5, pp. 503-528,1993.