Linking the semantics of a multithreaded discrete event simulation language

  title={Linking the semantics of a multithreaded discrete event simulation language},
  author={Huibiao Zhu},
Highly Cited
This paper has 33 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 25 extracted citations

From Statecharts to Verilog: a formal approach to hardware/software co-specification

Innovations in Systems and Software Engineering • 2005
View 11 Excerpts
Highly Influenced

A UTP approach for rTiMo

Formal Aspects of Computing • 2018
View 2 Excerpts

Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude

2013 18th International Conference on Engineering of Complex Computer Systems • 2013
View 1 Excerpt

Linking the Semantics of BPEL Using Maude

2013 20th Asia-Pacific Software Engineering Conference (APSEC) • 2013
View 1 Excerpt

Towards Denotational Semantics for Verilog in PVS

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion • 2011
View 2 Excerpts

Similar Papers

Loading similar papers…