A barred operational semantics for a subset of WS-CDL with time restrictions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Valentin Valero, Gregorio DÃaz, MarÃa-Emilia Cambronero, Hermenegilda MaciÃ . A barred operational semantics for a subset of WS-CDL with time restrictions. Journal of Logic and Algebraic Programming, 78(8):730-748, 2009. [doi]

This author has not been identified. Look up 'Valentin Valero' in GoogleThis author has not been identified. Look up 'Gregorio DÃaz' in GoogleThis author has not been identified. Look up 'MarÃa-Emilia Cambronero' in GoogleThis author has not been identified. Look up 'Hermenegilda MaciÃ ' in Google

runs on WebDSL