D-continuous causal nets: A model of non-sequential processes
From MaRDI portal
Publication:788491
DOI10.1016/0304-3975(83)90070-1zbMath0531.68016OpenAlexW1969638558MaRDI QIDQ788491
Publication date: 1984
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(83)90070-1
posetscausal netsD-continuitypartially ordered sets of conditions and eventssubhistories of concurrent systemsZFM 521.68063
Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Cites Work