Yan Jin, Robert Esser, Charles Lakos, Jörn W. Janneck  Home/Search
Context Related
| berkeley.edu/~janneck/P...2003_FASE.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: berkeley.edu/~jann...Publications (more) Homepages: Y.Jin R.Esser |
Rate this article:      (best)Comment on this article |
Abstract: Process networks are popular for modelling distributed computing and signal processing applications, and multi-processor architectures. At the architecture description level, they have the flexibility to model actual processes using various formalisms. This is especially important where the systems are composed of parts with different characteristics, e.g. control-based or datafloworiented. (Update)
Cited by: More
Analysis-oriented Semantics Definition of Visual Languages - Yan Jin University (2003) (Correct)
Similar documents (at the sentence level):
19.1%: Lightweight Consistency Analysis of Dataflow Process Networks - Jin, Esser, Lakos (Correct)
Active bibliography (related documents): More All
0.5: The Role of Architecture in Components Assembly - Inverardi, Tivoli (2002) (Correct)
0.5: Architectural Design of Component Composition Using First Class.. - Sünbül (2000) (Correct)
0.3: Interfaces: A Game-Theoretic Framework for Reasoning about . . . - de Alfaro, al. (Correct)
Similar documents based on text: More All
0.4: Describing the Syntax and Semantics of UML Statecharts in a .. - Jin, Esser, Janneck (2002) (Correct)
0.3: Behavioral Prediction of Time Petri Nets with Applications to.. - Janneck (1998) (Correct)
0.3: Higher-order Petri net modelling - techniques and applications - Janneck, Esser (Correct)
BibTeX entry: (Update)
Y. Jin, R. Esser, C. Lakos, and J. W. Janneck. Modular analysis of dataflow process networks. In Proc. Fundamental Approaches to Software Engineering, LNCS 2621, pages 184-- 199, 2003. http://citeseer.ist.psu.edu/jin03modular.html More
@misc{ jin03modular,
author = "Y. Jin and R. Esser and C. Lakos and J. Janneck",
title = "Modular analysis of dataflow process networks",
text = "Y. Jin, R. Esser, C. Lakos, and J. W. Janneck. Modular analysis of dataflow
process networks. In Proc. Fundamental Approaches to Software Engineering,
LNCS 2621, pages 184-- 199, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/jin03modular.html" }
Citations (may not include all citations):302 The semantics of a simple language for parallel programming (context) - Kahn - 1974
106 Dataflow process networks - Lee, Parks - 1995
53 Lectures on Petri Nets I: Basic Models (context) - Reisig, Rozenberg - 1998
52 Properties of a model for parallel computations: determinacy (context) - Karp, Miller - 1966
38 Interface automata - de Alfaro, Henzinger - 2001
17 Volume II: Technical concepts of component-based software en.. (context) - Bachman, Bass et al. - 2000
14 Static checking of system behaviors using derived component .. - Inverardi, Wolf et al. - 2000
7 on Programming Languages and Systems (context) - Yellin, Storm et al. - 1997
5 Moses - a tool suite for visual modelling of discrete-event .. (context) - Esser, Janneck - 2001
3 Stream languages and data-flow (context) - Skillcorn - 1991
3 Conformance checking for models of asynchronous message pass.. (context) - Rajamani, Rehof - 2002
2 Proving deadlock freedom in component-based programming (context) - Inverardi, Uchitel - 2029
2 Describing the syntax and semantics of UML statecharts in a .. - Jin, Esser et al. - 2002
2 Using domain-specific languages for the realization of compo.. - Anlauff, Kutter et al. - 2000
1 Higher-order Petri Net modeling--techniques and applications (context) - Janneck, Esser - 2002
1 Enhancing architectural mismatch detection with assumptions - Uchitel, Yankelevich - 2000
1 volumeofMonograph Theoretical Computer Science (context) - Petri, Concepts et al. - 1997
Documents on the same site (http://ptolemy.eecs.berkeley.edu/~janneck/Publications.html): More
A Predicate-Based Approach To Defining Visual Language Syntax - Janneck, Esser (2001) (Correct)
CAL: Cal Actor Language - Eker, Janneck (2002) (Correct)
A Framework for Defining Domain-Specific Visual Languages - Esser, Janneck (2001) (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