D-continuous causal nets: A model of non-sequential processes

DOI10.1016/0304-3975(83)90070-1zbMath0531.68016OpenAlexW1969638558MaRDI QIDQ788491

N. E. Zubov

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

zbMATH Keywords

posetscausal netsD-continuitypartially ordered sets of conditions and eventssubhistories of concurrent systemsZFM 521.68063

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Some behavioural aspects of net theory

Cites Work

• Behaviours of concurrent systems
• Petri nets, event structures and domains. I
• Synchronisationsgraphen
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item