METRIC DENOTATIONAL SEMANTICS FOR REMOTE PROCESS DESTRUCTION AND CLONING
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 frame...
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Հոդված |
| Լեզու: | English |
| Հրապարակվել է: |
Babes-Bolyai University, Cluj-Napoca
2017-12-01
|
| Շարք: | Studia Universitatis Babes-Bolyai: Series Informatica |
| Խորագրեր: | |
| Առցանց հասանելիություն: | http://193.231.18.162/index.php/subbinformatica/article/view/4261 |