Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

COORDINATION
2008
Springer

favoriteEmaildiscussreport

65views Distributed And Parallel Com...» more COORDINATION 2008»

A Formal Account of WS-BPEL

13 years 6 months ago

A Formal Account of WS-BPEL

Download rap.dsi.unifi.it

Alessandro Lapadula, Rosario Pugliese, Francesco T

Real-time Traffic

COORDINATION 2008 | Distributed And Parallel Computing |

claim paper

Related Content

» The Use of a Formal Representation of Accounting Standards

» A Simple and General Theoretical Account for Abstract Types

» An Algebraic Account of Modularity in IDLogic

» Accounting for Various Register Allocation Schemes During PostSynthesis Verification of RT...

» Justice Delayed Is Justice Denied Logics for a Temporal Account of Reparations and Legal C...

» Towards a Theory of Accountability and Audit

» The Web of Governance and Democratic Accountability

» Towards a TypeTheoretical Account of Lexical Semantics

» Formal Semantics and Ontologies Towards an Ontological Account of Formal Semantics

» A logical account of uncertain databases based on linear logic

Post Info
More Details (n/a)

Added	18 Oct 2010
Updated	18 Oct 2010
Type	Conference
Year	2008
Where	COORDINATION
Authors	Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Comments (0)