Denotational Linear Time Semantics and Sequential Composition.

Christel Baier Mila E. Majster-Cederbaum

Published in: Inf. Process. Lett. (1996)

Keyphrases

operational semantics
formal semantics
web services
logic programming
web service composition
model theoretic
database
search engine
case study
semantic representation