Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.
APA4ort.xyz Knowledge Graph. (2026). The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. Retrieved May 24, 2026, from https://4ort.xyz/entity/the-metric-linear-time-branching-time-spectrum-on-nondeterministic-probabilistic-processes