Model independent order relations for processes

Authors:
Chaodong He
Affiliations:
Laboratory for Basic Studies in Computing Science, Department of Computer Science, Shanghai Jiaotong University, Shanghai, China
Venue:
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Year:
2010

Citing 15
Cited 0

A calculus of mobile processes, I

Information and Computation
A calculus of mobile processes, II

Information and Computation
Testing equivalence for mobile processes

Information and Computation
Branching time and abstraction in bisimulation semantics

Journal of the ACM (JACM)
Communication and Concurrency

Communication and Concurrency
A Calculus of Communicating Systems

A Calculus of Communicating Systems
Barbed Bisimulation

ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Divergence and Fair Testing

ICALP '95 Proceedings of the 22nd International Colloquium on Automata, Languages and Programming
The Linear Time-Branching Time Spectrum (Extended Abstract)

CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
Back and Forth Bisimulations

CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
The Linear Time - Branching Time Spectrum II

CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Fair Testing

CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
Concurrency and Automata on Infinite Sequences

Proceedings of the 5th GI-Conference on Theoretical Computer Science
On the origins of bisimulation and coinduction

ACM Transactions on Programming Languages and Systems (TOPLAS)
On the expressiveness of interaction

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially on the observational behaviours of processes as well as on the observing power of environments. The paper aims at a model independent observational theory of the semantic preorders for interactive models. Depending on whether environments change dynamically or not, two classes of model independent preorders are formalized. These formalizations are intensively studied in the framework of CCS. Operational characterizations of these preorders are investigated, and the relationships between them are revealed. Several new preorders for CCS are proposed along the way. Behavioural properties are discussed in a model independent manner as far as possible.