Author of the publication

A Network Model of Analogue Computation over Metric Algebras.

, and . CiE, volume 3526 of Lecture Notes in Computer Science, page 515-529. Springer, (2005)

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

Formalising Surveillance and Identity., and . CoRR, (2014)Three Forms of Physical Measurement and their Computability., , and . Rev. Symb. Log., 7 (4): 618-646 (2014)Oracles and Advice as Measurements., , , and . UC, volume 5204 of Lecture Notes in Computer Science, page 33-50. Springer, (2008)Two Theorems About the Completeness of Hoare's Logic., and . Inf. Process. Lett., 15 (4): 143-149 (1982)Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems., and . SIAM J. Comput., 12 (2): 366-387 (1983)Horn Programs and Semicomputable Relations on Abstract Structures., and . ICALP, volume 372 of Lecture Notes in Computer Science, page 745-760. Springer, (1989)Toward a General Theory of Computation and Specification over Abstract Data Types., and . ICCI, volume 468 of Lecture Notes in Computer Science, page 129-133. Springer, (1990)Algebraically Specified Programming Systems and Hoare's Logic., and . ICALP, volume 115 of Lecture Notes in Computer Science, page 348-362. Springer, (1981)Theory of Computation over Stream Algebras, and its Applications., and . MFCS, volume 629 of Lecture Notes in Computer Science, page 62-80. Springer, (1992)An analogue-Digital Church-Turing Thesis., , , and . Int. J. Found. Comput. Sci., 25 (4): 373-390 (2014)