Author of the publication

Endowing Concurrent Kleene Algebra with Communication Actions.

, , and . RAMiCS, volume 8428 of Lecture Notes in Computer Science, page 19-36. Springer, (2014)

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

A Workflow-Oriented Scripting Language Based on BPEL4WS., , and . APWeb Workshops, volume 3842 of Lecture Notes in Computer Science, page 690-697. Springer, (2006)AtNAGNAG: a comprehensive database for NAGNAG alternative splicing in Arabidopsis thaliana., , , , , , , , , and 6 other author(s). ICBDR, page 33-37. ACM, (2018)Robot motion planning with orientational constraints based on offline sampling datasets., , , and . J. Comput. Methods Sci. Eng., 22 (5): 1545-1557 (2022)Two-degree-of-freedom internal model control of particle swarm optimization for flow temperature control system in phase change material packaging technology., , , and . J. Syst. Control. Eng., 236 (7): 1310-1323 (2022)Application of Fault Diagnosis Method Combining Finite Element Method and Transfer Learning for Insufficient Turbine Rotor Fault Samples., , , and . Entropy, 25 (3): 414 (March 2023)An Aspect-Oriented Language for Product Family Specification., , and . ANT/MobiWIS, volume 10 of Procedia Computer Science, page 482-489. Elsevier, (2012)Endowing Concurrent Kleene Algebra with Communication Actions., , and . RAMiCS, volume 8428 of Lecture Notes in Computer Science, page 19-36. Springer, (2014)Design and application of digital twin system for the blade-rotor test rig., , , , and . J. Intell. Manuf., 34 (2): 753-769 (February 2023)Multi-Party Evolutionary Game Analysis of Accounts Receivable Financing under the Application of Central Bank Digital Currency., , and . J. Theor. Appl. Electron. Commer. Res., 18 (1): 394-415 (2022)A Mobile Greenhouse Environment Monitoring System Based on the Internet of Things., , , , , , and . IEEE Access, (2019)