METRIC DENOTATIONAL SEMANTICS FOR REMOTE PROCESS DESTRUCTION AND CLONING
DOI:
https://doi.org/10.24193/subbi.2017.2.08Keywords:
metric semantics, continuation semantics for concurrency, remote process destruction, remote process 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
P. America and J.W. de Bakker, Designing Equivalent Semantic Models for Process Creation, Theoretical Computer Science, vol. 60, 1988, pp. 109–176.
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.
J.W. de Bakker and E.P. de Vink, Rendez-vous with Metric Semantics, New Generation Computing, vol. 12, 1993, pp. 53–90.
J.W. de Bakker and E.P. de Vink, Control Flow Semantics, MIT Press, 1996.
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.
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.
G. Ciobanu and E.N. Todoran, Continuation Semantics for Asynchronous Concurrency, Fundamenta Informaticae, vol. 131(3–4), 2014, pp. 373–388.
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.
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.
C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985.
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.
D.B. Lange and M. Oshima, Programming and Deploying Java Mobile Agents with Aglets, Addison Wesley, 1998.
INMOS Ltd, Occam Programming Manual, Prentice-Hall, 1984. [14] R. Milner, Communication and Concurrency, Prentice-Hall, 1989.
J.J.M.M. Rutten, Semantic Correctnes for a Parallel Object-Oriented Language, SIAM Journal of Computing, vol. 19, 1990, pp. 341–383.
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.
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.
E.P. de Vink, Designing Stream Based Semantics for Uniform Concurrency and Logic Programming, Ph.D thesis, Vrije Universiteit Amsterdam, 1990.
Aglets portal site, 2004, http://aglets.sourceforge.net/
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2017 Studia Universitatis Babeș-Bolyai Informatica
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
