Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa. Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. ACM Transactions on Programming Languages and Systems, 46(1), March 2024. [doi]

This author has not been identified. Look up 'Crystal Chang Din' in GoogleThis author has not been identified. Look up 'Reiner Hähnle' in GoogleThis author has not been identified. It may be one of the following persons:

Ludovic Henrio

Look up 'Ludovic Henrio' in GoogleThis author has not been identified. Look up 'Einar Broch Johnsen' in GoogleThis author has not been identified. Look up 'Violet Ka I Pun' in GoogleThis author has not been identified. Look up 'Silvia Lizeth Tapia Tarifa' in Google

runs on WebDSL