|Semantics of Languages for Distributed Applications firstname.lastname@example.org (1991-08-28)|
|From:||email@example.com (Dinesh Kulkarni)|
|Keywords:||theory, question, semantics|
|Organization:||University of Notre Dame, Notre Dame|
|Date:||Wed, 28 Aug 91 19:51:27 GMT|
I am currently working in the area of distributed systems and specifically
language support for distributed applications. I am interested in knowing
more about the state of art in the SEMANTICS of languages for distributed
applications including aspects such as parallelism, distribution, replication
and dynamic load balancing. Both formal theoretical models, as well as any
implementations that have used such models are of great interest to me
(particularly, implementations of procedural and OO languages exploiting
I would appreciate if you could provide me pointers to tech. reports, other
publications and active research groups in this area. Any information about
the related area of deriving distributed versions of sequential programs from
specifications would also be very valuable.
Please email your replies to me since I am posting to multiple news groups.
I will post a summary of responses.
Thank you very much for your help.
p.s. Any developments in the VDL/VDM world in this matter ?
Return to the
Search the comp.compilers archives again.