Wei Zhang 0305

dblp:10/4661-305 · DBLP profile ↗
← Back
4ranked-venue papers
1as first author
4since 2021 · last 2023
0000-0001-8350-0788ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 2 · 1 first-author · 2 since 2021Theory of computation · 2 · 2 since 2021
YearPublicationVenuePosition
2023 Rooted Divergence-Preserving Branching Bisimilarity is a Congruence for Guarded CCS
abstract
Branching bisimilarity is a well-known equivalence relation for labelled transition systems. Based on this equivalence relation, with an additional simple rootedness condition, a congruence relation for calculus of communication system (CCS) processes can be obtained. However, neither branching bisimilarity nor the corresponding congruence relation preserves divergence, and it is still a question whether, based on a divergence-preserving variant of branching bisimilarity, a divergence-preserving congruence relation for CCS processes can be obtained by introducing the same simple rootedness condition. In this article, we present a partial solution by showing that rooted divergence-preserving branching bisimilarity is preserved under the usual CCS operators, including prefixing, summation, parallel composition, relabelling, restriction, and (weakly) guarded recursion.
David N. Jansen, Xinxin Liu 0009, Wei Zhang 0305
Formal Aspects Comput.4
2023 A contract-based semantics and refinement for hybrid Simulink block diagrams
Wei Zhang 0305, Chao Wang 0069, Zhiming Liu 0001
J. Syst. Archit.2
2023 Towards correctness proof for hybrid Simulink block diagrams
Wei Zhang 0305, Chao Wang 0069, Zhiming Liu 0001
J. Syst. Archit.1
2022 A Contract-Based Semantics and Refinement for Simulink
Wei Zhang 0305, Chao Wang 0069, Zhiming Liu 0001
SETTA2