Search

Your search keyword '"Rutten, Jan"' showing total 406 results
Start Over Author "Rutten, Jan"

Refine your results

more »

more »

more »

more »
406 results on '"Rutten, Jan"'

1. Stream Differential Equations: Specification Formats and Solution Methods

Author

Hansen, Helle Hvid, Kupke, Clemens, and Rutten, Jan

Subjects
Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, F.1.1, F.3.2, F.4.3
Abstract

Streams, or infinite sequences, are infinite objects of a very simple type, yet they have a rich theory partly due to their ubiquity in mathematics and computer science. Stream differential equations are a coinductive method for specifying streams and stream operations, and their theory has been developed in many papers over the past two decades. In this paper we present a survey of the many results in this area. Our focus is on the classification of different formats of stream differential equations, their solution methods, and the classes of streams they can define. Moreover, we describe in detail the connection between the so-called syntactic solution method and abstract GSOS.

Published
2016
Full Text
View/download PDF

2. Coalgebraic Characterizations of Context-Free Languages

Author

Winter, Joost, Rutten, Jan J. M., and Bonsangue, Marcello M.

Subjects
Computer Science - Logic in Computer Science
Abstract

In this article, we provide three coalgebraic characterizations of the class of context-free languages, each based on the idea of adding coalgebraic structure to an existing algebraic structure by specifying output-derivative pairs. Final coalgebra semantics then gives an interpretation function into the final coalgebra of all languages with the usual output and derivative operations. The first characterization is based on systems, where each derivative is given as a finite language over the set of nonterminals; the second characterization on systems where derivatives are given as elements of a term-algebra; and the third characterization is based on adding coalgebraic structure to a class of closed (unique) fixed point expressions. We prove equivalences between these characterizations, discuss the generalization from languages to formal power series, as well as the relationship to the generalized powerset construction., Comment: 39 pages

Published
2013
Full Text
View/download PDF

3. Automatic Equivalence Proofs for Non-deterministic Coalgebras

Author

Bonsangue, Marcello, Caltais, Georgiana, Goriac, Eugen-Ioan, Lucanu, Dorel, Rutten, Jan, and Silva, Alexandra

Subjects
Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory
Abstract

A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed by a subset of the authors of this paper. Examples of the systems covered include infinite streams, deterministic automata, Mealy machines and labelled transition systems. In this paper, we present a novel algorithm to decide whether two expressions are bisimilar or not. The procedure is implemented in the automatic theorem prover CIRC, by reducing coinduction to an entailment relation between an algebraic specification and an appropriate set of equations. We illustrate the generality of the tool with three examples: infinite streams of real numbers, Mealy machines and labelled transition systems.

Published
2013

4. Generalizing determinization from automata to coalgebras

Author

Silva, Alexandra, Bonchi, Filippo, Bonsangue, Marcello, and Rutten, Jan

Subjects
Computer Science - Logic in Computer Science, F.3.2
Abstract

The powerset construction is a standard method for converting a nondeterministic automaton into a deterministic one recognizing the same language. In this paper, we lift the powerset construction from automata to the more general framework of coalgebras with structured state spaces. Coalgebra is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behavioural equivalence (~_F) amongst them. Many types of transition systems and their equivalences can be captured by a functor F. For example, for deterministic automata the derived equivalence is language equivalence, while for non-deterministic automata it is ordinary bisimilarity. We give several examples of applications of our generalized determinization construction, including partial Mealy machines, (structured) Moore automata, Rabin probabilistic automata, and, somewhat surprisingly, even pushdown automata. To further witness the generality of the approach we show how to characterize coalgebraically several equivalences which have been object of interest in the concurrency community, such as failure or ready semantics., Comment: 23 pages

Published
2013
Full Text
View/download PDF

5. Non-Deterministic Kleene Coalgebras

Author

Silva, Alexandra, Bonsangue, Marcello, and Rutten, Jan

Subjects
Computer Science - Logic in Computer Science, F.3.1, F.3.2, F.4.1
Abstract

In this paper, we present a systematic way of deriving (1) languages of (generalised) regular expressions, and (2) sound and complete axiomatizations thereof, for a wide variety of systems. This generalizes both the results of Kleene (on regular languages and deterministic finite automata) and Milner (on regular behaviours and finite labelled transition systems), and includes many other systems such as Mealy and Moore machines.

Published
2010
Full Text
View/download PDF

6. (Co)Algebraic Characterizations of Signal Flow Graphs

Author

Basold, Henning, Bonsangue, Marcello, Hansen, Helle Hvid, Rutten, Jan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van Breugel, Franck, editor, Kashefi, Elham, editor, Palamidessi, Catuscia, editor, and Rutten, Jan, editor

Published
2014
Full Text
View/download PDF

7. A Final Coalgebra for k-regular Sequences

Author

Hansen, Helle Hvid, Kupke, Clemens, Rutten, Jan, Winter, Joost, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van Breugel, Franck, editor, Kashefi, Elham, editor, Palamidessi, Catuscia, editor, and Rutten, Jan, editor

Published
2014
Full Text
View/download PDF

8. Equations and Coequations for Weighted Automata

Author

Salamanca, Julian, Bonsangue, Marcello, Rutten, Jan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Italiano, Giuseppe F, editor, Pighizzini, Giovanni, editor, and Sannella, Donald T., editor

Published
2015
Full Text
View/download PDF

9. Coalgebraic Semantics of Heavy-Weighted Automata

Author

Fortin, Marie, Bonsangue, Marcello M., Rutten, Jan, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Codescu, Mihai, editor, Diaconescu, Răzvan, editor, and Țuțu, Ionuț, editor

Published
2015
Full Text
View/download PDF

10. Newton Series, Coinductively

Author

Basold, Henning, Hansen, Helle Hvid, Pin, Jean-Éric, Rutten, Jan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Leucker, Martin, editor, Rueda, Camilo, editor, and Valencia, Frank D., editor

Published
2015
Full Text
View/download PDF

13. A Coalgebraic Foundation for Coinductive Union Types

Author

Bonsangue, Marcello, Rot, Jurriaan, Ancona, Davide, de Boer, Frank, Rutten, Jan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Esparza, Javier, editor, Fraigniaud, Pierre, editor, Husfeldt, Thore, editor, and Koutsoupias, Elias, editor

Published
2014
Full Text
View/download PDF

14. Coinductive Proof Techniques for Language Equivalence

Author

Rot, Jurriaan, Bonsangue, Marcello, Rutten, Jan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Dediu, Adrian-Horia, editor, Martín-Vide, Carlos, editor, and Truthe, Bianca, editor

Published
2013
Full Text
View/download PDF

15. Coalgebraic Bisimulation-Up-To

Author

Rot, Jurriaan, Bonsangue, Marcello, Rutten, Jan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, van Emde Boas, Peter, editor, Groen, Frans C. A., editor, Italiano, Giuseppe F., editor, Nawrocki, Jerzy, editor, and Sack, Harald, editor

Published
2013
Full Text
View/download PDF

16. Defining Context-Free Power Series Coalgebraically

Author

Bonsangue, Marcello M., Rutten, Jan, Winter, Joost, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Pattinson, Dirk, editor, and Schröder, Lutz, editor

Published
2012
Full Text
View/download PDF

17. Brzozowski’s Algorithm (Co)Algebraically

Author

Bonchi, Filippo, Bonsangue, Marcello M., Rutten, Jan J. M. M., Silva, Alexandra, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Constable, Robert L., editor, and Silva, Alexandra, editor

Published
2012
Full Text
View/download PDF

18. On the Final Coalgebra of Automatic Sequences

Author

Kupke, Clemens, Rutten, Jan J. M. M., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Constable, Robert L., editor, and Silva, Alexandra, editor

Published
2012
Full Text
View/download PDF

19. Intentional Automata: A Context-Dependent Model for Component Connectors : (Extended Abstract)

Author

Costa, David, Niqui, Milad, Rutten, Jan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Arbab, Farhad, editor, and Sirjani, Marjan, editor

Published
2012
Full Text
View/download PDF

20. Context-Free Languages, Coalgebraically

Author

Winter, Joost, Bonsangue, Marcello M., Rutten, Jan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Corradini, Andrea, editor, Klin, Bartek, editor, and Cîrstea, Corina, editor

Published
2011
Full Text
View/download PDF

21. A Decision Procedure for Bisimilarity of Generalized Regular Expressions

Author

Bonsangue, Marcello, Caltais, Georgiana, Goriac, Eugen-Ioan, Lucanu, Dorel, Rutten, Jan, Silva, Alexandra, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Davies, Jim, editor, Silva, Leila, editor, and Simao, Adenilso, editor

Published
2011
Full Text
View/download PDF

22. Sampling, Splitting and Merging in Coinductive Stream Calculus

Author

Niqui, Milad, Rutten, Jan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Bolduc, Claude, editor, Desharnais, Jules, editor, and Ktari, Béchir, editor

Published
2010
Full Text
View/download PDF

23. Deriving Syntax and Axioms for Quantitative Regular Behaviours

Author

Bonchi, Filippo, Bonsangue, Marcello, Rutten, Jan, Silva, Alexandra, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bravetti, Mario, editor, and Zavattaro, Gianluigi, editor

Published
2009
Full Text
View/download PDF

24. A Kleene Theorem for Polynomial Coalgebras

Author

Bonsangue, Marcello, Rutten, Jan, Silva, Alexandra, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and de Alfaro, Luca, editor

Published
2009
Full Text
View/download PDF

25. Coalgebraic Logic and Synthesis of Mealy Machines

Author

Bonsangue, M. M., Rutten, Jan, Silva, Alexandra, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Amadio, Roberto, editor

Published
2008
Full Text
View/download PDF

26. Behavioural Differential Equations and Coinduction for Binary Trees

Author

Silva, Alexandra, Rutten, Jan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Leivant, Daniel, editor, and de Queiroz, Ruy, editor

Published
2007
Full Text
View/download PDF

27. Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications

Author

Arbab, Farhad, Baier, Christel, de Boer, Frank, Rutten, Jan, Sirjani, Marjan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Jacquet, Jean-Marie, editor, and Picco, Gian Pietro, editor

Published
2005
Full Text
View/download PDF

35. A structural co-induction theorem

Author

Rutten, Jan, Goos, Gerhard, editor, Hartmanis, Juris, editor, Brookes, Stephen, editor, Main, Michael, editor, Melton, Austin, editor, Mislove, Michael, editor, and Schmidt, David, editor

Published
1994
Full Text
View/download PDF

39. A layered semantics for a parallel object-oriented language

Author

America, Pierre, Rutten, Jan, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, de Bakker, J. W., editor, de Roever, W. P., editor, and Rozenberg, G., editor

Published
1991
Full Text
View/download PDF

44. A Roman Senator

Author

Rutten, Jan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Degano, Pierpaolo, editor, De Nicola, Rocco, editor, and Meseguer, José, editor

Published
2008
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results