Concurrent Programming in ML

DOI10.1017/CBO9780511574962zbMath0900.68214OpenAlexW1495087637MaRDI QIDQ4856173

John Reppy

Publication date: 23 November 1995

Full work available at URL: https://doi.org/10.1017/cbo9780511574962

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (8)

Static Trace-Based Deadlock Analysis for Synchronous Mini-Go ⋮ An extended account of contract monitoring strategies as patterns of communication ⋮ Borda-optimal taxation of labour income ⋮ A simple library implementation of binary sessions ⋮ Context-Free Session Type Inference ⋮ Backwards type analysis of asynchronous method calls ⋮ Defining Actions in Concurrent Declarative Programming ⋮ Integrating user-level threads with processes in scsh

This page was built for publication: Concurrent Programming in ML