Rezumat articol ediţie STUDIA UNIVERSITATIS BABEŞ-BOLYAI

În partea de jos este prezentat rezumatul articolului selectat. Pentru revenire la cuprinsul ediţiei din care face parte acest articol, se accesează linkul din titlu. Pentru vizualizarea tuturor articolelor din arhivă la care este autor/coautor unul din autorii de mai jos, se accesează linkul din numele autorului.

 
       
         
    STUDIA INFORMATICA - Ediţia nr.2 din 2017  
         
  Articol:   METRIC DENOTATIONAL SEMANTICS FOR REMOTE PROCESS DESTRUCTION AND CLONING.

Autori:  ENEIA NICOLAE TODORAN.
 
       
         
  Rezumat:  
DOI: 10.24193/subbi.2017.2.08

Published Online: 2017-12-15
Published Print: 2017-12-15
pp. 93-108
VIEW PDF: 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 framework of complete metric spaces.

Keywords: metric semantics, continuation semantics for concurrency, remote process destruction, remote process cloning.

2010 Mathematics Subject Classification. 68Q55, 68Q85, 68N15, 68M14.
 
         
     
         
         
      Revenire la pagina precedentă