共 50 条
- [4] A distributed partial order reduction algorithm [J]. FORMAL TECHNIQUE FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2002, PROCEEDINGS, 2002, 2529 : 370 - 370
- [5] Experiences with a service environment for distributed multimedia applications [J]. FEATURE INTERACTIONS IN TELECOMMUNICATION NETWORKS IV, 1997, : 242 - 253
- [6] Multimedia partial order transport architecture: Design and implementation [J]. PROTOCOLS FOR HIGH-SPEED NETWORK V, 1997, : 91 - 106
- [9] Fuel flexible partial oxidation reforming of hydrocarbons for automotive applications. [J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1999, 218 : U632 - U632
- [10] Compositional temporal logic based on partial order [J]. 11TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2004, : 125 - 132