Harald-Reto Fonio

Publication Activity (10 Years)

Years Active: 1985-1994
Publications (10 Years): 0

Publications

Jared L. Darlington, Harald-Reto Fonio
Foretracking versus Backtracking in AI Languages. Applied Informatics (1994)
Harald-Reto Fonio, Adam Pawlak
Rule-based synthesis using ADTs and term rewriting. Microprocess. Microprogramming 34 (1-5) (1992)
Harald-Reto Fonio
Abelian Monoids versus Concurrency - An Algebraic Approach to the Specification of Distributed Systems. ADT (1988)
Paul Boehm, Harald-Reto Fonio, Annegret Habel
Amalgamation of Graph Transformations: A Synchronization Mechanism. J. Comput. Syst. Sci. 34 (2/3) (1987)
Paul Boehm, Harald-Reto Fonio, Annegret Habel
Amalgamation of Graph Transformations with Applications to Synchronization. TAPSOFT, Vol.1 (1985)