Rekha Redamalla

According to our database, Rekha Redamalla authored at least 8 papers between 2003 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Equivalences and Congruences on Infinite Conway Games.

Furio Honsell, Marina Lenisa, Rekha Redamalla

RAIRO Theor. Informatics Appl., 2012

Categories of Coalgebraic Games.

Furio Honsell, Marina Lenisa, Rekha Redamalla

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

2007

Coalgebraic description of generalised binary methods.

Furio Honsell, Marina Lenisa, Rekha Redamalla

Math. Struct. Comput. Sci., 2007

2005

A Language for Verification and Manipulation of Web Documents: (Extended Abstract).

Luigi Liquori, Furio Honsell, Rekha Redamalla

Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005

Coalgebraic Description of Generalized Binary Methods.

Furio Honsell, Marina Lenisa, Rekha Redamalla

Proceedings of the First International Workshop on Developments in Computational Models, 2005

A Language for Verification and Manipulation of Web Documents.

Luigi Liquori, Furio Honsell, Rekha Redamalla

Proceedings of the First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), 2005

2003

Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language.

Furio Honsell, Marina Lenisa, Rekha Redamalla

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

Strict Geometry of Interaction Graph Models.

Furio Honsell, Marina Lenisa, Rekha Redamalla

Proceedings of the Logic for Programming, 2003