Christel Baier, Marjan Sirjani, Farhad Arbab, Jan Rutten  Home/Search
Context Related
| web.informatik.unib...SCPJournal04.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: web.informatik.un...publikationen (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we introduce constraint automata and propose them as an operational model for Reo, an exogenous coordination language for compositional construction of component connectors based on a calculus of channels. By providing composition operators for constraint automata and defining notions of equivalence and refinement relations for them, this paper covers the foundations for building tools to address such concerns as the automated construction of the automaton for a given component... (Update)
Cited by: More
Probabilistic Models for Reo Connector Circuits - Baier (2005) (Correct)
Models and Temporal Logics for Timed Component Connectors - Arbab, Baier, de Boer.. (2004) (Correct)
Synthesis of Reo Circuits for Implementation of.. - Arbab, Baier, de.. (2005) (Correct)
Active bibliography (related documents): More All
0.4: Modeling Component Connectors in Reo by Constraint.. - Arbab, Baier, Rutten.. (2004) (Correct)
0.4: Modeling Component Connectors in Reo by Constraint Automata - Arbab, Baier, Rutten.. (2003) (Correct)
0.3: Taming Heterogeneity - The Ptolemy Approach - Eker, Janneck, Lee, Liu, Liu.. (2003) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
5: Reo: A Channel-based Coordination Model for Component Composition (context) - Arbab - 2003
5: A coinductive calculus of component connectors - Arbab, Rutten - 2002
4: Models and temporal logics for timed component connectors - Arbab, Baier et al. - 2004
BibTeX entry: (Update)
F. Arbab, C. Baier, J.J.M.M. Rutten, and M. Sirjani. Modeling component connectors in reo by constraint automata. In FOCLASA'03, volume 97 of ENTCS, pages 25--41, 2004. Full version see http://web.informatik.uni-bonn.de/I/baier/publikationen.html. http://citeseer.ist.psu.edu/article/baier04modeling.html More
@misc{ arbab04modeling,
author = "F. Arbab and C. Baier and J. Rutten and M. Sirjani",
title = "Modeling component connectors in reo by constraint automata",
text = "F. Arbab, C. Baier, J.J.M.M. Rutten, and M. Sirjani. Modeling component
connectors in reo by constraint automata. In FOCLASA'03, volume 97 of ENTCS,
pages 25--41, 2004. Full version see http://web.informatik.uni-bonn.de/I/baier/publikationen.html.",
year = "2004",
url = "citeseer.ist.psu.edu/article/baier04modeling.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Motwani et al. - 2001
509 Introduction to Lattices and Order (context) - Davey, Priestley - 1990
374 Automata on infinite objects (context) - Thomas - 1990
231 A theory of communicating sequential processes (context) - Brookes, Hoare et al. - 1984
201 Three partition refinement algorithms (context) - Paige, Tarjan - 1987
139 introduction to inputoutput automata (context) - Tuttle, to et al. - 1989
73 Prentice Hall International Series in Computer Science (context) - Milner, Concurrency - 1989
65 Computing simulations on finite and infinite graphs - Henzinger, Henzinger et al. - 1995
43 Kluwer Academic Publishers (context) - Hachtel, Somenzi et al. - 1996
41 Branching Programs and Binary Decision Diagrams (context) - Wegener - 2000
37 Binary Decision Diagrams: Theory and Implementation (context) - Drechsler, Becker - 1998
31 Multi-valued decision diagrams: Theory and applications (context) - Kam, Villa et al. - 1998
26 Fundamental results for the verification of observational eq.. (context) - Bolognesi, Smolka - 1987
21 Texts in Theoretical Computer Science (context) - Fokkink, Process - 1999
16 Concurrent timed port automata - Grosu, Rumpe - 1995
11 A coinductive calculus of component connectors - Arbab, Rutten - 2002
10 Reo: A channel-based coordination model for component compos.. (context) - Arbab - 2004
8 finite state processes and three problems of equivalence (context) - Kannelakis, Smolka - 1983
4 Lecture Notes in Computer Science (context) - Tan, Cleaveland - 2001
3 Luca de Alfaro and Thomas (context) - de Alfaro, Interface et al. - 2001
1 ACM Transactions on Computational Logic (context) - Bustan, Grumberg - 2003
1 Effective modeling of software architectural assemblies usin.. (context) - Mehta, Sirjani et al. - 2003
1 Binary Decision Diagrams and Apllications for VLSI Design (context) - Minato - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://web.informatik.uni-bonn.de/I/baier/publikationen.html): More
Quantitative Analysis of Distributed Randomized Protocols - Baier, Ciesinski, Groesser (2005) (Correct)
Symbolic Reasoning with Weighted and Normalized Decision.. - Ossowski, Baier (2005) (Correct)
Synthesis of Reo Circuits for Implementation of.. - Arbab, Baier, de.. (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC