A Formal Model for Service Mediators

Simple item page
dc.contributor.authorSchewe, Klaus-Dieter
dc.contributor.authorWang, Qing (Ms)
dc.date.accessioned2015-12-10T23:23:20Z
dc.date.issued2010
dc.date.updated2016-06-14T09:02:28Z
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/1885/66915
dc.publisherSpringer
dc.sourceLecture Notes in Computer Science (LNCS)
dc.subjectKeywords: Abstract state machines; Database transformation; Finite structures; Modal operators; Multiset; Non-determinism; Proof system; Universal computations; Semantics; Query languages
dc.titleA Formal Model for Service Mediators
dc.typeJournal article
local.bibliographicCitation.issue2010
local.bibliographicCitation.lastpage85
local.bibliographicCitation.startpage76
local.contributor.affiliationSchewe, Klaus-Dieter, Software Competence Center Hagenberg
local.contributor.affiliationWang, Qing (Ms), College of Engineering and Computer Science, ANU
local.contributor.authoremailu5170295@anu.edu.au
local.contributor.authoruidWang, Qing (Ms), u5170295
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.identifier.absfor080600 - INFORMATION SYSTEMS
local.identifier.absseo970108 - Expanding Knowledge in the Information and Computing Sciences
local.identifier.ariespublicationu4334215xPUB1366
local.identifier.citationvolume6413
local.identifier.doi10.1007/978-3-642-23441-5_7
local.identifier.scopusID2-s2.0-80052208625
local.identifier.uidSubmittedByu4334215
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
01_Schewe_A_Formal_Model_for_Service_2010.pdf
Size:
138.14 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2024 LYRASIS