Pages that link to "Item:Q2945722"
From MaRDI portal
The following pages link to A Denotational Semantic Theory of Concurrent Systems (Q2945722):
Displaying 15 items.
- A complete axiomatic semantics of spawning (Q808281) (← links)
- A denotational theory of synchronous reactive systems (Q1193599) (← links)
- Erratic Fudgets: A semantic theory for an embedded coordination language (Q1870854) (← links)
- A denotational semantics for SPARC TSO (Q2130595) (← links)
- Mapping among the nodes of infinite trees: a variation of Kőnig's infinity lemma (Q2339600) (← links)
- (Q2769444) (← links)
- Symbolic Semantics for Multiparty Interactions in the Link-Calculus (Q2971125) (← links)
- Denotational Approach to an Event-Driven System-Level Language (Q3585036) (← links)
- (Q3680256) (← links)
- (Q3746904) (← links)
- Direct semantics of concurrent languages in the SMoLCS approach (Q3766819) (← links)
- (Q3998342) (← links)
- Towards Context-Based Concurrent Formal Theories (Q4598900) (← links)
- (Q4721639) (← links)
- (Q4739563) (← links)