Continuation Semantics for Asynchronous Concurrency

被引：13
作者：
Ciobanu, Gabriel [1 ]
Todoran, Eneia Nicolae [2 ]
机构：
[1] Romanian Acad, Inst Comp Sci, Iasi, Romania
[2] Tech Univ Cluj Napoca, Dept Comp Sci, Cluj Napoca, Romania
来源：
FUNDAMENTA INFORMATICAE | 2014年 / 131卷 / 3-4期
关键词：
Metric semantics; continuations for concurrency; asynchronous communication;
D O I：
10.3233/FI-2014-1020
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The paper presents a method of reasoning about the behaviour of asynchronous programs in denotational models designed with metric spaces and continuation semantics for concurrency.
引用
收藏
页码：373 / 388
页数：16
相关论文
共 23 条
  • [1] SOLVING REFLEXIVE DOMAIN EQUATIONS IN A CATEGORY OF COMPLETE METRIC-SPACES
    AMERICA, P
    RUTTEN, J
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1989, 39 (03) : 343 - 375
  • [2] Baeten J.C.M., 1990, Process Algebra
  • [3] Banach S, 1922, FUNDAMENTA MATEMATIC, V3, P133
  • [4] ALGEBRA OF COMMUNICATING PROCESSES WITH ABSTRACTION
    BERGSTRA, JA
    KLOP, JW
    [J]. THEORETICAL COMPUTER SCIENCE, 1985, 37 (01) : 77 - 121
  • [5] MODEL AND STACK IMPLEMENTATION OF MULTIPLE ENVIRONMENTS
    BOBROW, DG
    WEGBREIT, B
    [J]. COMMUNICATIONS OF THE ACM, 1973, 16 (10) : 591 - 603
  • [6] Brookes S., 2002, CONCUR 2002 - Concurrency Theory. 13th International Conference Proceedings (Lecture Notes in Computer Science Vol.2421), P466
  • [7] Ciobanu G., 2010, TECHNICAL REPORT FML
  • [8] Relating Two Metric Semantics for Parallel Rewriting of Multisets
    Ciobanu, Gabriel
    Todoran, Eneia Nicolae
    [J]. 14TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2012), 2012, : 273 - 280
  • [9] Danvy Olivier, 2004, P 4 ACM SIGPLAN WORK, P13
  • [10] de Bakker J. W., 1990, Semantics of Systems of Concurrent Processes. LITP Spring School on Theoretical Computer Science. Proceedings, P21
123