A Multi-threaded Asynchronous Language

Hervé Miguel Cordeiro Paulino

doi:10.1007/978-3-540-45145-7_29

A Multi-threaded Asynchronous Language

Hervé Miguel Cordeiro Paulino

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

8 Citations (Scopus)

Abstract

We describe a reference implementation of a multi-threaded run-time system for a core programming language based on a process calculus. The core language features processes running in parallel and communicating through asynchronous messages as the fundamental abstractions. The programming style is fully declarative, focusing on the interaction patterns between processes. The parallelism, implicit in the syntax of the programs, is effectively extracted by the language compiler and explored by the run-time system.

Original language	Unknown
Title of host publication	lecture Notes in Computer Science
Pages	316-323
DOIs	https://doi.org/10.1007/978-3-540-45145-7_29
Publication status	Published - 1 Jan 2003
Event	International Conference Parallel Computing Tecnologies (PaCT) - Duration: 1 Jan 2003 → …

Conference

Conference	International Conference Parallel Computing Tecnologies (PaCT)
Period	1/01/03 → …

Access to Document

10.1007/978-3-540-45145-7_29

Cite this

@inproceedings{1d5ff96a9d404fb7bd83285302399292,

title = "A Multi-threaded Asynchronous Language",

abstract = "We describe a reference implementation of a multi-threaded run-time system for a core programming language based on a process calculus. The core language features processes running in parallel and communicating through asynchronous messages as the fundamental abstractions. The programming style is fully declarative, focusing on the interaction patterns between processes. The parallelism, implicit in the syntax of the programs, is effectively extracted by the language compiler and explored by the run-time system.",

keywords = "Run-Time System, Concurrency, Process Calculi",

author = "Paulino, {Herv{\'e} Miguel Cordeiro}",

year = "2003",

month = jan,

day = "1",

doi = "10.1007/978-3-540-45145-7_29",

language = "Unknown",

isbn = "3-540-40673-5",

pages = "316--323",

booktitle = "lecture Notes in Computer Science",

note = "International Conference Parallel Computing Tecnologies (PaCT) ; Conference date: 01-01-2003",

}

TY - GEN

T1 - A Multi-threaded Asynchronous Language

AU - Paulino, Hervé Miguel Cordeiro

PY - 2003/1/1

Y1 - 2003/1/1

N2 - We describe a reference implementation of a multi-threaded run-time system for a core programming language based on a process calculus. The core language features processes running in parallel and communicating through asynchronous messages as the fundamental abstractions. The programming style is fully declarative, focusing on the interaction patterns between processes. The parallelism, implicit in the syntax of the programs, is effectively extracted by the language compiler and explored by the run-time system.

AB - We describe a reference implementation of a multi-threaded run-time system for a core programming language based on a process calculus. The core language features processes running in parallel and communicating through asynchronous messages as the fundamental abstractions. The programming style is fully declarative, focusing on the interaction patterns between processes. The parallelism, implicit in the syntax of the programs, is effectively extracted by the language compiler and explored by the run-time system.

KW - Run-Time System

KW - Concurrency

KW - Process Calculi

U2 - 10.1007/978-3-540-45145-7_29

DO - 10.1007/978-3-540-45145-7_29

M3 - Conference contribution

SN - 3-540-40673-5

SP - 316

EP - 323

BT - lecture Notes in Computer Science

T2 - International Conference Parallel Computing Tecnologies (PaCT)

Y2 - 1 January 2003

ER -