Pages that link to "Item:Q1694447"

The following pages link to Locally abstract, globally concrete semantics of concurrent programming languages (Q1694447):

Displaying 15 items.

• Abstract local reasoning for concurrent libraries: mind the gap (Q283756) (← links)
• A fully abstract may testing semantics for concurrent objects (Q557787) (← links)
• Partial order and contextual net semantics for atomic and locally atomic CC programs (Q1380121) (← links)
• Abstract interpretation of trace semantics for concurrent calculi (Q1606931) (← links)
• Designing a semantic model for a wide-spectrum language with concurrency (Q1682288) (← links)
• Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
• A small-step semantics of a concurrent calculus with Goroutines and deferred functions (Q2026809) (← links)
• A formal semantics for debugging synchronous message passing-based concurrent programs (Q2348946) (← links)
• Direct semantics of concurrent languages in the SMoLCS approach (Q3766819) (← links)
• (Q4537510) (← links)
• Abstract Semantic Diffing of Evolving Concurrent Programs (Q5233236) (← links)
• Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs (Q5233246) (← links)
• Programming Languages and Systems (Q5308684) (← links)
• Tools and Algorithms for the Construction and Analysis of Systems (Q5703774) (← links)
• Runtime enforcement using knowledge bases (Q6535223) (← links)