Searching for "Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Constructing specific SOS semantics for concurrency via abstract interpretation (Extended Abstract)
by Ciara Bodei, Corrado Priami
…Constructing specific SOS semantics for concurrency via abstract interpretation EXTENDED ABSTRACT…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB