Results 1 
9 of
9
Abstract behavior types: A foundation model for components and their composition
 SCIENCE OF COMPUTER PROGRAMMING
, 2003
"... ..."
(Show Context)
Algebraic specification and coalgebraic synthesis of Mealy machines
 In: Proceedings of FACS 2005. ENTCS
, 2006
"... We introduce the notion of functional stream derivative, generalising the notion of input derivative of rational expressions (Brzozowski 1964) to the case of stream functions over arbitrary input and output alphabets. We show how to construct Mealy automata from algebraically specified stream functi ..."
Abstract

Cited by 22 (11 self)
 Add to MetaCart
(Show Context)
We introduce the notion of functional stream derivative, generalising the notion of input derivative of rational expressions (Brzozowski 1964) to the case of stream functions over arbitrary input and output alphabets. We show how to construct Mealy automata from algebraically specified stream functions by the symbolic computation of functional stream derivatives. We illustrate this construction in full detail for various bitstream functions specified in the algebraic calculus of the 2adic numbers. This work is part of a larger ongoing effort to specify and model component connector circuits in terms of (functions and relations on) streams.
Coinductive Counting With Weighted Automata
, 2002
"... A general methodology is developed to compute the solution of a wide variety of basic counting problems in a uniform way: (1) the objects to be counted are enumerated by means of an infinite weighted automaton; (2) the automaton is reduced by means of the quantitative notion of stream bisimulation; ..."
Abstract

Cited by 13 (2 self)
 Add to MetaCart
A general methodology is developed to compute the solution of a wide variety of basic counting problems in a uniform way: (1) the objects to be counted are enumerated by means of an infinite weighted automaton; (2) the automaton is reduced by means of the quantitative notion of stream bisimulation; (3) the reduced automaton is used to compute an expression (in terms of stream constants and operators) that represents the stream of all counts.
Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions
"... In this paper, we describe a symbolic synthesis method which given an algebraic expression that specifies a bitstream function f, constructs a (minimal) Mealy machine that realises f. The synthesis algorithm can be seen as an analogue of Brzozowski’s construction of a finite deterministic automaton ..."
Abstract

Cited by 4 (4 self)
 Add to MetaCart
(Show Context)
In this paper, we describe a symbolic synthesis method which given an algebraic expression that specifies a bitstream function f, constructs a (minimal) Mealy machine that realises f. The synthesis algorithm can be seen as an analogue of Brzozowski’s construction of a finite deterministic automaton from a regular expression. It is based on a coinductive characterisation of the operators of 2adic arithmetic in terms of stream differential equations. 1
A bialgebraic review of regular expressions, deterministic automata and languages
 Techn. Rep. ICISR05003, Inst. for Computing and Information Sciences, Radboud Univ
, 2005
"... To Joseph Goguen on the occasion of his 65th birthday1. Abstract. This papers reviews the classical theory of deterministic automata and regular languages from a categorical perspective. The basis is formed by Rutten’s description of the Brzozowski automaton structure in a coalgebraic framework. We ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
(Show Context)
To Joseph Goguen on the occasion of his 65th birthday1. Abstract. This papers reviews the classical theory of deterministic automata and regular languages from a categorical perspective. The basis is formed by Rutten’s description of the Brzozowski automaton structure in a coalgebraic framework. We enlarge the framework to a socalled bialgebraic one, by including algebras together with suitable distributive laws connecting the algebraic and coalgebraic structure of regular expressions and languages. This culminates in a reformulated proof via finality of Kozen’s completeness result. It yields a complete axiomatisation of observational equivalence (bisimilarity) on regular expressions. We suggest that this situation is paradigmatic for (theoretical) computer science as the study of “generated behaviour”.
Stream Differential Equations: concrete formats for coinductive definitions
, 2011
"... In this article we give an accessible introduction to stream differential equations, ie., equations that take the shape of differential equations from analysis and that are used to define infinite streams. Furthermore we discuss a syntactic format for stream differential equations that ensures that ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
In this article we give an accessible introduction to stream differential equations, ie., equations that take the shape of differential equations from analysis and that are used to define infinite streams. Furthermore we discuss a syntactic format for stream differential equations that ensures that any system of equations that fits into the format has a unique solution. It turns out that the stream functions that can be defined using our format are precisely the causal stream functions. Finally, we are going to discuss nonstandard stream calculus that uses basic (co)operations different from the usual head and tail operations in order to define and to reason about streams and stream functions. 1
Elements of stream calculus
 In MFPS 2001, ENTCS 45
, 2001
"... CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a themeoriented structure and is grouped into four clusters. Listed below are the names of the clusters and in parentheses their acronyms. ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a themeoriented structure and is grouped into four clusters. Listed below are the names of the clusters and in parentheses their acronyms.
Acknowledgments
"... The natural numbers are the most famous instance of an initial algebra and constitute the typical example for the explanation of induction. Similarly and dually, streams are the best known example of a final coalgebra and offer a perfect playground for the use of coinduction, both for definitions an ..."
Abstract
 Add to MetaCart
(Show Context)
The natural numbers are the most famous instance of an initial algebra and constitute the typical example for the explanation of induction. Similarly and dually, streams are the best known example of a final coalgebra and offer a perfect playground for the use of coinduction, both for definitions and for proofs. In these notes, we explain the basics of streams over an arbitrary alphabet in Chapter 1. Next we study the special case of streams over the reals in Chapter 2, and show how the (field) structure of the reals induces an equally rich structure on the set of streams. This leads to a calculus of streams, in close analogy to classical calculus in analysis, which is similar but more general than the calculus of generating functions. We apply the calculus of streams to the problem of solving differential equations in Chapter 3 and to various counting problems from enumerative combinatorics in Chapter 4. In Chapter 5, we apply streams and coinduction to a problem stemming from the world of computer science, more specifically, software engineering, by constructing a model for (software) component connectors. In Chapter A, the definitions of the most important operations on streams are summarized. Chapter 1 is the basis for all subsequent chapters. Chapter 2 is needed for both
Acknowledgment
, 1973
"... During the course of the Datacomputer Project, many people have contributed to the development of datalanguage. The suggestions and criticisms of Dr. Gordon Everest (University of ..."
Abstract
 Add to MetaCart
During the course of the Datacomputer Project, many people have contributed to the development of datalanguage. The suggestions and criticisms of Dr. Gordon Everest (University of