The Meta-Environment API
00001 #ifndef __TRANSACTION_MANAGEMENT__ 00002 #define __TRANSACTION_MANAGEMENT__ 00003 00004 process TransactionManager(Token : term) is 00005 ( 00006 rec-msg(tm-request-transaction(Token)) 00007 . rec-msg(tm-end-transaction(Token)) 00008 ) 00009 * delta 00010 00011 #endif /* __TRANSACTION_MANAGEMENT__ */