BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Zhaohui Zhu
SearchCollections
Map detail
Zhaohui Zhu9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipZhaohui ZhuAZhaohui ZhuResearcherMerging Process Algebra and Action-based Computation Tree LogicWMerging Process Algebra...preprint / 2012A control strategy algorithm for finite alternating transition systemsWA control strategy algo...preprint / 2012Linear time logic control of linear systems with disturbancesWLinear time logic contr...preprint / 2012A Modal Characterization of Alternating Approximate BisimilarityWA Modal Characterizatio...preprint / 2012A Process Calculus with Logical OperatorsWA Process Calculus with...preprint / 2012Greatest solutions of equations in $\text{CLL}_R$ and its applicationWGreatest solutions of e...preprint / 2014Axiomatizing Lüttgen and Vogler's ready simulation for finite processes in $\text{CLL}_R$WAxiomatizing Lüttgen an...preprint / 2015On the greatest solution of equations in $\text{CLL}_R$WOn the greatest solutio...preprint / 2015
Person8 links

Zhaohui Zhu

Researcher

PaperMerging Process Algebra and Action-based Computation Tree LogicAuthorship / preprint / 2012PaperA control strategy algorithm for finite alternating transition systemsAuthorship / preprint / 2012PaperLinear time logic control of linear systems with disturbancesAuthorship / preprint / 2012PaperA Modal Characterization of Alternating Approximate BisimilarityAuthorship / preprint / 2012PaperA Process Calculus with Logical OperatorsAuthorship / preprint / 2012PaperGreatest solutions of equations in CLLR\text{CLL}_R and its applicationAuthorship / preprint / 2014PaperAxiomatizing Lüttgen and Vogler's ready simulation for finite processes in CLLR\text{CLL}_RAuthorship / preprint / 2015PaperOn the greatest solution of equations in CLLR\text{CLL}_RAuthorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)