scientific article

zbMath0671.68026MaRDI QIDQ3823803

No author found.

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

axiomatization of a continuous posettotal order structure of real numbers

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of software (68N99) Theory of computing (68Q99)

Related Items (4)

Concurrency-Preserving Minimal Process Representation ⋮ Computers and the Mechanics of Communication ⋮ Nets, time and space ⋮ On the border of causality: contact and confusion

This page was built for publication: