CÁC BÀI BÁO KHOA HỌC 05:02:00 Ngày 21/07/2019 GMT+7
Languages and process calculi for network aware programming - Short summary

We describe motivations and background behind the design of KLAIM, a process description language that has proved to be suitable for describing a wide range of applications distributed over wide area networks with agents and code mobility. We argue that a drawback of KLAIM is that it is neither a programming language, nor a process calculus. We then outline the two research directions we have recently pursued. On the one hand we have evolved KLAIM to a full-fledged language for highly distributed mobile programming. On the other hand we have distilled the language to a number of simple calculi that we have used to define new semantic theories and equivalences and to test the impact of new operators for network aware programming. © Springer-Verlag Berlin Heidelberg 2005.

 De Nicola R.
   713.pdf    Gửi cho bạn bè
  Từ khóa : Codes (symbols); Computer programming languages; Distributed computer systems; Engineering research; Logic design; Code mobility; Mobile programming; Semantic theories; Computer programming