Computing the behaviour of asynchronous processes

DOI10.1016/0304-3975(83)90017-8zbMath0518.68021OpenAlexW2014708482MaRDI QIDQ1054152

J. Blot

Publication date: 1983

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(83)90017-8

zbMATH Keywords

control flowdata flownondeterministic asynchronous processrecursively defined networks

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (2)

A fully abstract trace model for dataflow and asynchronous networks ⋮ An algebra of processes

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Computing the behaviour of asynchronous processes