Topology in Process Calculus
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer New York

9781461265221, 9781461301233

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bisimulation Indexes Induced by Metrics on Actions

Topology in Process Calculus ◽

10.1007/978-1-4613-0123-3_6 ◽

2001 ◽

pp. 139-206

Author(s):

Mingsheng Ying

Download Full-text

Near Bisimulations Defined by Closures

Topology in Process Calculus ◽

10.1007/978-1-4613-0123-3_5 ◽

2001 ◽

pp. 113-138

Author(s):

Mingsheng Ying

Download Full-text

Limit Behavior of Agents

Topology in Process Calculus ◽

10.1007/978-1-4613-0123-3_4 ◽

2001 ◽

pp. 95-111

Author(s):

Mingsheng Ying

Keyword(s):

Download Full-text

Introduction

Topology in Process Calculus ◽

10.1007/978-1-4613-0123-3_1 ◽

2001 ◽

pp. 1-9

Author(s):

Mingsheng Ying

Download Full-text

Conclusion

Topology in Process Calculus ◽

10.1007/978-1-4613-0123-3_7 ◽

2001 ◽

pp. 207-211

Author(s):

Mingsheng Ying

Download Full-text

Bisimulation and Trace Limits of Agents

Topology in Process Calculus ◽

10.1007/978-1-4613-0123-3_3 ◽

2001 ◽

pp. 37-94

Author(s):

Mingsheng Ying

Download Full-text

Process Calculus

Topology in Process Calculus ◽

10.1007/978-1-4613-0123-3_2 ◽

2001 ◽

pp. 11-36 ◽

Author(s):

Mingsheng Ying

Keyword(s):

Process Calculus

Download Full-text