A Formal Model for Service Mediators
Date
2010
Authors
Schewe, Klaus-Dieter
Wang, Qing (Ms)
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Description
Keywords
Keywords: Abstract state machines; Database transformation; Finite structures; Modal operators; Multiset; Non-determinism; Proof system; Universal computations; Semantics; Query languages
Citation
Collections
Source
Lecture Notes in Computer Science (LNCS)
Type
Journal article
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description