共 50 条
- [21] A formal calculus for informal equality with binding LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, PROCEEDINGS, 2007, 4576 : 162 - +
- [22] FORMAL MODELLING AND VERIFICATION OF COMPENSATING WEB TRANSACTIONS IAENG TRANSACTIONS ON ELECTRICAL ENGINEERING, VOL 1, 2012, : 123 - 136
- [23] Towards Formal Interfaces for Web Services with Transactions ADVANCED INTERNET BASED SYSTEMS AND APPLICATIONS, 2009, 4879 : 292 - 304
- [25] A framework for implementing transactions on grid services FOURTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2004, : 375 - 379
- [27] Reliable accounting in grid economic transactions GRID AND COOPERATIVE COMPUTING GCC 2004 WORKSHOPS, PROCEEDINGS, 2004, 3252 : 514 - 521
- [29] A formal deductive system for fuzzy propositional calculus CHINESE SCIENCE BULLETIN, 1997, 42 (18): : 1521 - 1525
- [30] Formal System and Semantics of NΣ-Labeled Calculus 2009 INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, VOL III, PROCEEDINGS, 2009, : 270 - +