Continuation Semantics for Asynchronous Concurrency

被引：14

作者：

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 [J].

AMERICA, P ;

RUTTEN, 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 [J].

BERGSTRA, JA ;

KLOP, JW .

THEORETICAL COMPUTER SCIENCE, 1985, 37 (01) :77-121

[5] MODEL AND STACK IMPLEMENTATION OF MULTIPLE ENVIRONMENTS [J].

BOBROW, DG ;

WEGBREIT, B .

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 [J].

Ciobanu, Gabriel ;

Todoran, Eneia Nicolae .

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

← 1 2 3 →