Search

Your search keyword '"Bonsangue M"' showing total 12 results
Start Over Author "Bonsangue M" Publisher springer berlin heidelberg
12 results on '"Bonsangue M"'

1. Monitoring Method Call Sequences Using Annotations

Author

Nobakht, B., Bonsangue, M. M., de Boer, F. S., de Gouw, S., 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, Barbosa, Luís Soares, editor, and Lumpe, Markus, editor

Published
2012
Full Text
View/download PDF

2. 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

3. Using XML Transformations for Enterprise Architectures

Author

Stam, A., Jacob, J., de Boer, F. S., Bonsangue, M. M., van der Torre, L., 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Margaria, Tiziana, editor

Published
2006
Full Text
View/download PDF

4. A Fully Abstract Semantics for UML Components

Author

de Boer, F. S., Bonsangue, M. M., Steffen, M., Ábrahám, E., 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, de Boer, Frank S., editor, Bonsangue, Marcello M., editor, Graf, Susanne, editor, and de Roever, Willem-Paul, editor

Published
2005
Full Text
View/download PDF

11. Defining Context-Free Power Series Coalgebraically

Author

Bonsangue, M., Rutten, J., Winter, J., Pattinson, D., and Pattinson, D.

Subjects
Power series, Pure mathematics, Formal power series, Computer science, Differential equation, Data Science, Lecture notes in computer science, Coinduction, Context (language use), Disjunctive normal form, Algebra, Simple (abstract algebra), Algebraic number
Abstract

In this paper we present a coinductive definition of context free power series in terms of behavioural differential equations. We show that our coalgebraic approach provides a unified view on many, at first sight different, existing notions of algebraicity, and we apply our behavioural differential equations to produce a new proof for a classical result by Chomsky and Schutzenberger, and a simple proof that the zip-operator of two algebraic streams is algebraic.

Published
2012

12. Context-Free Languages, Coalgebraically

Author

Winter, J., Bonsangue, M., Rutten, J., Corradini, A., Klin, B., Cîrstea, C., Computer Security, Corradini, A., Klin, B., and Cîrstea, C.

Subjects
Discrete mathematics, Data Science, Context-free language, Abstract family of languages, Regular language, Computer Science::Logic in Computer Science, Kleene star, Lecture Notes in Computer Science, Homomorphism, Regular expression, Generalized star height problem, Equivalence (formal languages), Mathematics
Abstract

We give a coalgebraic account of context-free languages using the functor D(X) = 2 × XA for deterministic automata over an alphabet A, in three different but equivalent ways: (i) by viewing context-free grammars as D-coalgebras; (ii) by defining a format for behavioural differential equations (w.r.t. D) for which the unique solutions are precisely the context-free languages; and (iii) as the D-coalgebra of generalized regular expressions in which the Kleene star is replaced by a unique fixed point operator. In all cases, semantics is defined by the unique homomorphism into the final coalgebra of all languages, paving the way for coinductive proofs of context-free language equivalence. Furthermore, the three characterizations can serve as the basis for the definition of a general coalgebraic notion of context-freeness, which we see as the ultimate long-term goal of the present study.

Published
2011

Catalog

Books, media, physical & digital resources
See catalog results