Author of the publication

Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms.

, , and . Applied Mathematics and Computation, 215 (4): 1386-1403 (2009)

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

The impact of models of a physical oracle on computational power., , and . Mathematical Structures in Computer Science, 22 (5): 853-879 (2012)A Natural Computation Model of Positive Relativisation., , and . IJUC, 10 (1-2): 111-141 (2014)An analogue-Digital Church-Turing Thesis., , , and . Int. J. Found. Comput. Sci., 25 (4): 373-390 (2014)Two Theorems About the Completeness of Hoare's Logic., and . Inf. Process. Lett., 15 (4): 143-149 (1982)Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms., , and . Applied Mathematics and Computation, 215 (4): 1386-1403 (2009)Computations via Newtonian and relativistic kinematic systems., and . Applied Mathematics and Computation, 215 (4): 1311-1322 (2009)Horn Programs and Semicomputable Relations on Abstract Structures., and . ICALP, volume 372 of Lecture Notes in Computer Science, page 745-760. Springer, (1989)Algebraically Specified Programming Systems and Hoare's Logic., and . ICALP, volume 115 of Lecture Notes in Computer Science, page 348-362. Springer, (1981)An Algebraic Theory for Data Linkage., , and . WADT, volume 11563 of Lecture Notes in Computer Science, page 47-66. Springer, (2018)Theory of Computation over Stream Algebras, and its Applications., and . MFCS, volume 629 of Lecture Notes in Computer Science, page 62-80. Springer, (1992)