In this talk I will present how we derived a sound and complete axiomatization of language equivalence for non-deterministic and weighted automata from a calculus of regular expressions for (weighted) bisimulation.
read moreOther presentations
A logic for strong late bisimilarity (Part II)
We define logical counterparts forconstructions including dynamic name allocation and name exponentiation and show that they are dual to standard constructs in functor categories. In particular, we show that the final coalgebra of a functor defined by Stark and Fiore, Moggi and Sangiorgi in terms of these constructs give rise …
read moreA logic for strong late bisimilarity
We define logical counterparts for constructions including dynamic name allocation and name exponentiation and show that they are dual to standard constructs in functor categories. In particular, we show that the final coalgebra of a functor defined by Stark and Fiore, Moggi and Sangiorgi in terms of these constructs give …
read moreA Logical Viewpoint on Architectures
In this talk we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core of a symbolic model consists of its signature that specifies symbolically its structural elements and their relationships. A semantic model is defined as …
read moreFOLD: first order logic of domains
We introduce an interpretation of domains in terms of a logic including bounded existential and universal quantifiers. The logic is compositional with respect to domain constructors like function space and Plotkin powerdomain, and sound with respect to the ordinary interpreation of domains as some kind of complete partial orders. A …
read moreFully abstract semantics for OO
The presentation is a part of the MobiJ project meeting.
In this talk we will discuss our ongoing work concerning the problem of a fully abstract semantics for object-oriented languages and its relation with components.
read moreO2C: A Semantic Thread From Objects to Components
In this tutorial we present the basic concepts that underlie object oriented and component based software engineering and their semantic justifications. We start with the basic concepts such as abstract data types and inheritance, as used in the object oriented paradigm to enhance reuse, modularity, and maintenance of software. We …
read moreThe type of a component
In this talk we generalize the functional object model introduced by Pierce and Turner to a functional component model. This extension will require a notion of set types built on top of a higher order polymorphism lambda calculus.
read moreObjects, components, and types (how to unify different research lines)
What are components? How do they interact? Why do we need them?
In this talk we answer these questions by introducing a novel component model. Furtehr we will sketch some type-theretical and semantical issues related to this notion of component.
read more