HOPLA

swMATH2330MaRDI QIDQ14870FDOQ14870

Author name not available (Why is that?)

Cited In (13)

• Title not available (Why is that?)
• Semantic domains of timed event structures
• Nominal Domain Theory for Concurrency
• CONCUR 2003 - Concurrency Theory
• Prime algebraicity
• Domain theory for concurrency
• Exploratory functions on nondeterministic strategies, up to lower bisimilarity
• Title not available (Why is that?)
• Elements of a theory of algebraic theories
• Event structures with symmetry
• Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction
• Event structure spans for nondeterministic dataflow
• Computer Science Logic

This page was built for software: HOPLA