CLIMB
C
omputational
L
ogic for the ver
I
fication and
M
odeling of
B
usiness processes and choreographies
Home
News
Specification
Mapping Examples
DecSerFlow Extensions
Verification
Conformance
Static Verification
Interoperability
Process Mining
Enactment
Tools
S
CIFF
SOCS-SI
S
CIFF Checker
DecMiner
DEClipse
Examples
Benchmarks
People
Publications
News
News
Site online!
Friday, 7 March 2008 at 00:30 GMT, by
Marco Montali
The CLIMB web site is online. If you have comments or suggestions, please contact
Marco