Linking Operational Semantics and Algebraic Semantics for Wireless Networks

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41202-8_25 ◽

2013 ◽

pp. 380-396

Author(s):

Xiaofeng Wu ◽

Huibiao Zhu

Keyword(s):

Wireless Networks ◽

Operational Semantics ◽

Algebraic Semantics

Download Full-text

Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude

2013 18th International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2013.46 ◽

2013 ◽

Cited By ~ 1

Author(s):

Peng Liu ◽

Huibiao Zhu ◽

Shengchao Qin ◽

Phillip J. Brooke ◽

Xi Wu

Keyword(s):

Web Services ◽

Operational Semantics ◽

Algebraic Semantics

Download Full-text

Animating the Approach of Deriving Operational Semantics from Algebraic Semantics for Web Services

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2011.56 ◽

2011 ◽

Author(s):

Qian Wang ◽

Huibiao Zhu

Keyword(s):

Web Services ◽

Operational Semantics ◽

Algebraic Semantics

Download Full-text

Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language

2009 Australian Software Engineering Conference ◽

10.1109/aswec.2009.20 ◽

2009 ◽

Cited By ~ 1

Author(s):

Huibiao Zhu ◽

Yongxin Zhao ◽

Jifeng He

Keyword(s):

Normal Form ◽

Operational Semantics ◽

System Level ◽

Algebraic Semantics ◽

Driven System ◽

Event Driven ◽

Form Approach

Download Full-text

Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35705-3_9 ◽

2013 ◽

pp. 186-203

Author(s):

Chengcheng Wu ◽

Yongxin Zhao ◽

Huibiao Zhu

Keyword(s):

Operational Semantics ◽

Algebraic Semantics

Download Full-text

Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language

2009 33rd Annual IEEE Software Engineering Workshop ◽

10.1109/sew.2009.17 ◽

2009 ◽

Author(s):

Huibiao Zhu ◽

Fan Yang ◽

Jifeng He ◽

Jonathan P. Bowen ◽

Jeff W. Sanders

Keyword(s):

Operational Semantics ◽

Algebraic Semantics ◽

Shared Variable

Download Full-text

Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35705-3_8 ◽

2013 ◽

pp. 164-185 ◽

Cited By ~ 2

Author(s):

Huibiao Zhu ◽

Peng Liu ◽

Jifeng He ◽

Shengchao Qin

Keyword(s):

Operational Semantics ◽

Algebraic Semantics ◽

Mechanical Approach

Download Full-text

Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language

The Journal of Logic and Algebraic Programming ◽

10.1016/j.jlap.2011.06.003 ◽

2012 ◽

Vol 81 (1) ◽

pp. 2-25 ◽

Cited By ~ 11

Author(s):

Huibiao Zhu ◽

Fan Yang ◽

Jifeng He ◽

Jonathan P. Bowen ◽

Jeff W. Sanders ◽

...

Keyword(s):

Operational Semantics ◽

Algebraic Semantics ◽

Shared Variable

Download Full-text

A General Algebraic Semantics for Sentential Logics

10.1017/9781316716915 ◽

2016 ◽

Cited By ~ 1

Author(s):

Josep Maria Font ◽

Ramon Jansana

Keyword(s):

Algebraic Semantics

Download Full-text

Interference Management in Wireless Networks

10.1017/9781316691410 ◽

2018 ◽

Cited By ~ 8

Author(s):

Venugopal V. Veeravalli ◽

Aly El Gamal

Keyword(s):

Wireless Networks ◽

Interference Management

Download Full-text

Coexistence in Wireless Networks

10.1017/cbo9780511536755 ◽

2006 ◽

Cited By ~ 20

Author(s):

Nada Golmie

Keyword(s):

Wireless Networks

Download Full-text