HOPLA

swMATH2330MaRDI QIDQ14870FDOQ14870

Author name not available (Why is that?)

Official website: http://www.springerlink.com/content/b3yv58c4np9k23t1/

Cited In (14)

• Semantic domains of timed event structures
• Nominal Domain Theory for Concurrency
• Prime algebraicity
• Domain theory for concurrency
• Real-time stable event structures and marked Scott domains: An adjunction
• Full abstraction for HOPLA.
• Exploring the gap between linear and classical logic
• Exploratory functions on nondeterministic strategies, up to lower bisimilarity
• Title not available (Why is that?)
• New-HOPLA
• Elements of a theory of algebraic theories
• Event structures with symmetry
• Event structure spans for nondeterministic dataflow
• Computer Science Logic

This page was built for software: HOPLA