Revisions for BPEL formalizations

The revisions let you track differences between multiple versions of a post.

Revision			Operations
26 Jan 2009 - 10:22 by koppor Added reference to overview paper, added reference to abstract syntax report.			current revision
19 Dec 2008 - 10:13 by matthias.weidlich Removed the statement that the pi-calculus based formalization of Weidlich claims to be more efficient than the approach by Stahl.
5 Oct 2008 - 19:47 by tim.hallwyl

Search