Hybrid models for mobile computing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1906, Issue , 2000, Pages 216-231

  Katara, Mika ^a  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

MULTI AGENT SYSTEMS; SPECIFICATIONS;

FILE TRANSFERS; HIGH LEVEL OF ABSTRACTION; HYBRID MODELLING; MODELLING SYSTEMS; MULTI-AGENT INTERACTION; PHYSICAL PHENOMENA; PHYSICAL REALITY; WIRELESS MOBILE SYSTEMS;

MOBILE COMPUTING;

EID: 84901773453     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45263-x_14     Document Type: Conference Paper

References (16)

1. The DisCo project WWW page. At URL http: //disco. cs. tut. fi, 1999.
2. T. Aaltonen, M. Katara, and R. Pitkänen. Disco toolset-the new generation. FMTOOLS 2000: The 4thWorkshop on Tools for System Design and Verification, July 2000.
3. M. Abadi and L. Lamport. An old-fashioned recipe for real time. ACM Transactions on Programming Languages and Systems, 16 (5): 1543-1571, Sept. 1994.
4. R. J. R. Back and R. Kurki-Suonio. Distributed cooperation with action systems. ACM Transactions on Programming Languages and Systems, 10 (4): 513-554, Oct. 1988.
5. R. J. R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. Distributed Computing, 3: 73-87, 1989.
6. K. M. Chandy and J. Misra. Parallel Program Design, A Foundation. Addison-Wesley, 1988.
7. E. W. Dijkstra and C. S. Scholten. Termination detection for diffusing computations. Information Processing Letters, 11 (1): 1-4, Aug. 1980.
8. H.-M. Järvinen, R. Kurki-Suonio, M. Sakkinen, and K. Systä. Object-oriented specification of reactive systems. In Proceedings of the 12th International Conference on Software Engineering, pages 63-71. IEEE Computer Society Press, 1990.
9. R. Kurki-Suonio. Hybrid models with fairness and distributed clocks. In Hybrid Systems, number 736 in Lecture Notes in Computer Science, pages 103-120. Springer-Verlag, 1993.
10. R. Kurki-Suonio and M. Katara. Logical layers in specifications with distributed objects and real time. Computer Systems Science & Engineering, 14 (4): 217-226, July 1999.
11. R. Kurki-Suonio and T. Mikkonen. Liberating object-oriented modeling from programming-level abstractions. In J. Bosch and S. Mitchell, editors, Object-Oriented Technology, ECOOP’97 Workshop Reader, number 1357 in Lecture Notes in Computer Science, pages 195-199. Springer-Verlag, 1998.
12. R. Kurki-Suonio and T. Mikkonen. Harnessing the power of interaction. In H. Jaakkola, H. Kangassalo, and E. Kawaguchi, editors, Information Modelling and Knowledge Bases X, pages 1-11. IOS Press, 1999.
13. L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16 (3): 872-923, May 1994.
14. P. J. McCann and G.-C. Roman. Modeling mobile IP in mobile UNITY. ACM Transactions on Software Engineering and Methodology, 8 (2): 115-146, Apr. 1999.
15. L. Petre and K. Sere. Coordination Among Mobile Objects. In P. Ciancarini and A. Wolf, editors, Coordination Languages and Models, Third International Conference, COORDINATION’99, number 1594 in Lecture Notes in Computer Science, pages 227-242, Amsterdam, The Netherlands, Apr. 1999. Springer-Verlag.
16. G.-C. Roman, P. J. McCann, and J. Y. Plun. Mobile UNITY: Reasoning and specification in mobile computing. ACM Transactions on Software Engineering and Methodology, 6 (3): 250-282, July 1997.