共 50 条
- [41] The design of a CORBA group communication service 15TH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 1996, : 150 - 159
- [43] A formal specification of the CORBA event service FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV, 2000, 49 : 371 - 395
- [45] An implementation of CORBA's LifeCycle service FIRST INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING WORKSHOP, PROCEEDINGS, 1997, : 111 - 117
- [46] Dynamic service management using CORBA GLOBAL INFORMATION INFRASTRUCTURE (GII) EVOLUTION: INTERWORKING ISSUES, 1996, : 129 - 140
- [47] Performance analysis of the CORBA Notification Service 20TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2001, : 227 - 236
- [48] Multiport interaction nets and concurrency (Extended abstract) CONCUR 2005 - CONCURRENCY THEORY, PROCEEDINGS, 2005, 3653 : 21 - 35
- [49] Consistency conditions for a CORBA caching service DISTRIBUTED COMPUTING, PROCEEDINGS, 2000, 1914 : 374 - 388
- [50] Concurrency, Interaction, Abstraction and Randomness (extended abstract) ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (38): : 2 - 6