G. Stefanescu  Home/Search
Context
Related
| nus.edu.sg/~gheorg...algNetMark01.ps.gz 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: nus.edu.sg/~gheorghe/pap...selPub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The rst part of the paper contains an overview of Network Algebra (NA) book [35]. The second part introduces nite interactive systems as an abstract mathematical model of agents' behaviour and their interaction. (Update)
Similar documents (at the sentence level):
17.9%: "Interactive systems" - from a natural language expression, to.. - Stefanescu (Correct)
Active bibliography (related documents): More All
0.5: Rewriting On Cyclic Structures: Equivalence Between The.. - Corradini, Gadducci (1999) (Correct)
0.4: A Characterization of Recognizable Picture Languages By Tilings.. - Simplot (1999) (Correct)
0.3: The Uniformity Principle on Traced Monoidal Categories - Hasegawa (2003) (Correct)
Similar documents based on text: More All
0.1: Bibliography - Volume Of Lecture (Correct)
0.0: Logic Journal - Of The (Correct)
0.0: On Equational Craig Interpolation - Rosu, Goguen (Correct)
BibTeX entry: (Update)
@misc{ stefanescu-algebra,
author = "G. Stefanescu",
title = "Algebra of Networks - Modeling simple networks, as well as complex interactive
systems",
url = "citeseer.ist.psu.edu/687539.html" }
Citations (may not include all citations):1933 Communication and concurrency (context) - Milner - 1989 ACM
299 Algebraic theory of processes (context) - Hennessy - 1988 ACM
85 Kommunikation mit Automaten (context) - Petri - 1962
76 The Uni ed Modeling Language User Guide (context) - Booch, Rumbaugh et al. - 1999
65 Finite transition systems (context) - Arnold - 1994 ACM
52 Algebraic approaches to program semantics (context) - Manes, Arbib - 1986 ACM
47 Petri nets are monoids (context) - Meseguer, Montanari - 1990 DBLP
38 Traced monoidal categories (context) - Joyal, Street et al. - 1996
36 Process Algebra (context) - Baeten, Weijland - 1990 ACM
32 Two-dimensional languages - Giammarresi, Restivo - 1997 ACM
29 Representation of events in nerve nets and nite automata (context) - Kleene - 1956
29 Tile Logic for Synchronized Rewriting of Concurrent Systems - Bruni - 1999
24 Monadic computation and iterative algebraic theories (context) - Elgot - 1975
19 Regular Algebra and Finite Machines (context) - Conway - 1971
18 Iteration Theories: The Equational Logic of Iterative Proces.. (context) - Bloom, Esik - 1993
15 Monadic second order logic over rectangular pictures and rec.. (context) - Giammarresi, Restivo et al. - 1996
12 Complexity of two-dimensional patterns - Lindgren, Moore et al. - 1998
12 A survey of two-dimensional automata theory (context) - Inoue, Takanami - 1991 ACM DBLP
11 Notes on nite asynchronous automata (context) - Zielonka - 1987
11 Recognizable picture languages and domino tiling (context) - Latteux, Simplot - 1997 ACM DBLP
9 The algebra of stream processing functions - Broy, Stefanescu - 2001 ACM DBLP
9 Concurrent regular expressions and their relationship to Pet.. - Garg, Ragunath - 1992 ACM DBLP
7 Regular expressions and context-free grammars for picture la.. - Matz - 1997 ACM DBLP
3 Network algebra (context) - Stefanescu - 2000 ACM
3 and Montanari (context) - Gadducci
2 Applications of Kleene algebras (context) - Stefanescu, Kleene - 2001
2 iteration and repetition (context) - Cazanescu, Stefanescu - 1994
2 Mixed relations as enriched semiringal categories (context) - Grosu, Lucanu et al. - 2000 DBLP
1 and Gordon (context) - Cardeli
1 On owchart theories: Part II (context) - Stefanescu - 1987
1 and Broy (context) - Grosu, Stefanescu
1 Reaction and control (context) - Stefanescu - 1998
1 Towards a new algebraic foundation of owchart scheme theory (context) - Cazanescu, Stefanescu - 1990
1 On owchart theories: Part (context) - Stefanescu - 1987
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