Author of the publication

Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL.

, , , , , , and . HUG, volume 780 of Lecture Notes in Computer Science, page 29-42. Springer, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Modeling of real-time signal timing for multi-intersection in urban traffic network., , , and . ICDIM, page 128-133. IEEE, (2009)Modeling of real-time signal timing for multi-intersection in urban traffic network., , , and . ICDIM, page 128-133. IEEE, (2009)Concurrent Programming for Database Processing Using Java Threads in a Client/Server Environment., and . PDPTA, page 453-459. CSREA Press, (1999)Towards an Evolutionary Verification Methodology: Experiences with a Distributed Programming Language Implementation., and . PDPTA, page 256-264. CSREA Press, (1997)Formal Semantic Specification for a Set of UML Diagrams.. Software Engineering Research and Practice, page 883-889. CSREA Press, (2003)A Hierarchical Method for Reasoning about Distributed Programming Languages., , , , and . TPHOLs, volume 971 of Lecture Notes in Computer Science, page 385-400. Springer, (1995)Bit-plane image coding algorithms based on compressed sensing., , , , and . ICDIP, volume 8334 of SPIE Proceedings, page 833416. SPIE, (2012)Support for Design by ContractTM in the CTM Programming Language., , and . J. Object Technol., 4 (7): 65-82 (2005)Machine learning for predicting the risk stratification of 1-5 cm gastric gastrointestinal stromal tumors based on CT., , , , , , and . BMC Medical Imaging, 23 (1): 90 (December 2023)3G Technology in the engineering disciplines of higher vocational education., , and . EMEIT, page 2148-2151. IEEE, (2011)