![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
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
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
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
Automata and coinduction (an exercise in coalgebra)
The classical theory of deterministic automata is presented in terms of the notions of homomorphism and bisimulation, which are the cornerstones of the theory of (universal) coalgebra. This leads to a transparent...
-
Chapter and Conference Paper
Bisimulation for probabilistic transition systems: A coalgebraic approach
The notion of bisimulation as proposed by Larsen and Skou for discrete probabilistic transition systems is shown to coincide with a coalgebraic definition in the sense of Aczel and Mendier in terms of a set fu...
-
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
Nonwellfounded sets and programming language semantics
For a large class of transition systems that are defined by specifications in the SOS style, it is shown how these induce a compositional semantics. The main difference with earlier work on this subject is the...
-
Chapter and Conference Paper
The failure of failures in a paradigm for asynchronous communication
We develop a general framework for a variety of concurrent languages all based on asynchronous communication, like data flow, concurrent logic, concurrent constraint languages and CSP with asynchronous channel...
-
Chapter and Conference Paper
Contractions in comparing concurrency semantics
We define for a simple concurrent imperative language both operational and denotational semantic models as fixed points of contractions on complete metric spaces. Next, we develop a general method for comparin...