The following pages link to Huibiao Zhu (Q299201):
Displayed 33 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- Multiphase until formulas over Markov reward models: an algebraic approach (Q896909) (← links)
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- A UTP semantic model for Orc language with execution status and fault handling (Q1633048) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- Moded and continuous abstract state machines (Q2115900) (← links)
- Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP (Q2154026) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- UTP semantics of a calculus for mobile ad hoc networks (Q2296293) (← links)
- Event-based functional decomposition (Q2304530) (← links)
- Observation-Oriented Semantics for Calculus of Wireless Systems (Q2814617) (← links)
- A Formal Model for a Hybrid Programming Language (Q2814619) (← links)
- Towards a Modeling Language for Cyber-Physical Systems (Q2842648) (← links)
- Towards a Pomset Semantics for a Shared-Variable Parallel Language (Q3055753) (← links)
- Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language (Q3055754) (← links)
- Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude (Q3455649) (← links)
- Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions (Q3455651) (← links)
- Denotational Semantics for a Probabilistic Timed Shared-Variable Language (Q3455653) (← links)
- Algebraic Semantics for Compensable Transactions (Q3525093) (← links)
- Denotational Approach to an Event-Driven System-Level Language (Q3585036) (← links)
- A Denotational Semantical Model for Orc Language (Q3585046) (← links)
- (Q3597829) (← links)
- (Q4412558) (← links)
- (Q4787253) (← links)
- Investigating Time Properties of Interrupt-Driven Programs (Q5200480) (← links)
- Assertion-Based Reasoning Method for Calculus of Wireless System (Q5217315) (← links)
- Developments in Concurrent Kleene Algebra (Q5410474) (← links)
- An Observational Model for Transactional Calculus of Services Orchestration (Q5505603) (← links)
- Jifeng He at Oxford and beyond: an appreciation (Q6118751) (← links)
- Denotational and algebraic semantics for the CaIT calculus (Q6164471) (← links)