NobleBlocks

Research indexBook chapter

Validating Programs in Concurrent ML

Nielson

1 Jan 1999

NobleIDark:/48914/w1/20260516/F0C40BCEDOI10.1007/978-1-4471-0841-2_17

Paywalled

The full text is at the publisher

Open it at the publisher to read it.

Read at the publisher

Discussion

Citations

Topics

ConcurrencyComputer scienceControl flowProgramming languageProcess calculusConcurrency controlProcess (computing)Communicating sequential processes

More

Suggest a correction or report