Metric Denotational Semantics for Remote Process Destruction and Cloning
Abstract
We present a denotational semantics designed with continuations for a concurrent language providing a mechanism for synchronous communication, together with constructions for process creation, remote process destruction and cloning. We accomplish the semantic investigation in the mathematical framework of complete metric spaces.
References
[2] P. America and J.J.M.M. Rutten, Solving Reflexive Domain Equations in a Category of Complete Metric Spaces, Journal of Computer and System Sciences, vol. 39, 1989, pp. 343–375.
[3] J.W. de Bakker and E.P. de Vink, Rendez-vous with Metric Semantics, New Generation Computing, vol. 12, 1993, pp. 53–90.
[4] J.W. de Bakker and E.P. de Vink, Control Flow Semantics, MIT Press, 1996.
[5] L. Cardelli, A Language with Distributed Scope, Proceedings of the 22nd Annual ACM Symposium on Principles of Programming Languages, pp. 286–297, ACM Press, 1995.
[6] G Ciobanu and EN Todoran, Relating Two Metric Semantics for Parallel Rewriting of Multisets, Proceedings of 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012), pp. 273–280, IEEE Computer Press, 2012.
[7] G. Ciobanu and E.N. Todoran, Continuation Semantics for Asynchronous Concurrency, Fundamenta Informaticae, vol. 131(3–4), 2014, pp. 373–388.
[8] G Ciobanu and EN Todoran, Continuation Semantics for Concurrency with Multiple Channels Communication, Formal Methods and Software Engineering - Proceedings of
17th International Conference on Formal Engineering Methods (ICFEM 2015), Lecture Notes in Computer Science, vol. 9407, 2015, pp. 400–416.
[9] G Ciobanu and EN Todoran, Continuation Semantics for Dynamic Hierarchical Systems, Proceedings of 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2015), pp. 281–288, IEEE Computer Press, 2015.
[10] C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985.
[11] A.A. Holzbacher, A Software Environment for Concurrent Coordinated Programming, Proc. 1st Int. Conference on Coordination Languages and Systems, Lecture Notes in Computer Science, vol. 1061, 1996, pp. 249–267.
[12] D.B. Lange and M. Oshima, Programming and Deploying Java Mobile Agents with Aglets, Addison Wesley, 1998.
[13] INMOS Ltd, Occam Programming Manual, Prentice-Hall, 1984.
[14] R. Milner, Communication and Concurrency, Prentice-Hall, 1989.
[15] J.J.M.M. Rutten, Semantic Correctnes for a Parallel Object-Oriented Language, SIAM Journal of Computing, vol. 19, 1990, pp. 341–383.
[16] E.N. Todoran, Metric Semantics for Synchronous and Asynchronous Communication: a Continuation-based Approach, Electronic Notes in Theoretical Computer Science, vol. 28, 2000, pp. 101–127.
[17] E.N. Todoran and N. Papaspyrou, Experiments with Continuation Semantics for DNA Computing, Proceedings of the IEEE 9th International Conference on Intelligent Computer Communication and Processing (ICCP 2013), pp. 251–258, 2013.
[18] E.P. de Vink, Designing Stream Based Semantics for Uniform Concurrency and Logic Programming, Ph.D thesis, Vrije Universiteit Amsterdam, 1990.
[19] Aglets portal site, 2004, http://aglets.sourceforge.net/
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
When the article is accepted for publication, I, as the author and representative of the coauthors, hereby agree to transfer to Studia Universitatis Babes-Bolyai, Series Informatica, all rights, including those pertaining to electronic forms and transmissions, under existing copyright laws, except for the following, which the author specifically retain: the right to make further copies of all or part of the published article for my use in classroom teaching; the right to reuse all or part of this material in a review or in a textbook of which I am the author; the right to make copies of the published work for internal distribution within the institution that employs me.
