Open Research

A Formal Model for Service Mediators

dc.contributor.author	Schewe, Klaus-Dieter
dc.contributor.author	Wang, Qing (Ms)
dc.date.accessioned	2015-12-10T23:23:20Z
dc.identifier.issn	0302-9743
dc.identifier.uri	http://hdl.handle.net/1885/66915
dc.publisher	Springer
dc.source	Lecture Notes in Computer Science (LNCS)
dc.subject	Keywords: Abstract state machines; Database transformation; Finite structures; Modal operators; Multiset; Non-determinism; Proof system; Universal computations; Semantics; Query languages
dc.title	A Formal Model for Service Mediators
dc.type	Journal article
local.description.notes	Imported from ARIES
local.identifier.citationvolume	6413
dc.date.issued	2010
local.identifier.absfor	080600 - INFORMATION SYSTEMS
local.identifier.ariespublication	u4334215xPUB1366
local.type.status	Published Version
local.contributor.affiliation	Schewe, Klaus-Dieter, Software Competence Center Hagenberg
local.contributor.affiliation	Wang, Qing (Ms), College of Engineering and Computer Science, ANU
local.description.embargo	2037-12-31
local.bibliographicCitation.issue	2010
local.bibliographicCitation.startpage	76
local.bibliographicCitation.lastpage	85
local.identifier.doi	10.1007/978-3-642-23441-5_7
local.identifier.absseo	970108 - Expanding Knowledge in the Information and Computing Sciences
dc.date.updated	2016-06-14T09:02:28Z
local.identifier.scopusID	2-s2.0-80052208625
Collections	ANU Research Publications

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.