7 Result(s)
-
Chapter and Conference Paper
Regular Varieties of Automata and Coequations
In this paper we use a duality result between equations and coequations for automata, proved by Ballester-Bolinches, Cosme-Llópez, and Rutten to characterize nonempty classes of deterministic automata that are...
-
Chapter and Conference Paper
Coalgebraic Foundations of Linear Systems
Viewing discrete-time causal linear systems as (Mealy) coalgebras, we describe their semantics, minimization and realisation as universal constructions, based on the final coalgebras of streams and causal stre...
-
Chapter and Conference Paper
An Application of Stream Calculus to Signal Flow Graphs
The present paper can be seen as an exercise in the author’s stream calculus [Rut01] and gives a new proof for an existing result about stream circuits. Such circuits are also known under the name of signal fl...
-
Chapter and Conference Paper
A Coinductive Calculus of Component Connectors
Reo is a recently introduced channel-based model for coordination, wherein complex coordinators, called connectors, are compositionally built out of simpler ones. Using a more liberal notion of a channel, Reo ...
-
Chapter and Conference Paper
Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series
Regular expressions are a standard means for denoting formal languages that are recognizable by finite automata. Much less familiar is the use of syntactic expressions for (formal) power series. Power series g...
-
Chapter and Conference Paper
On blocks: locality and asynchronous communication
A general construct for locality in languages based on asynchronous communication is introduced which allows a uniform semantic description of such apparently diverse notions as the introduction of local varia...
-
Chapter and Conference Paper
From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic
The main purpose of the paper is to relate different models for Horn Clause Logic: operational, denotational, declarative. We study their relationship by contrasting models based on interleaving, on the one ha...
