Abstract semantics for ESM systems

Fundamenta Informaticae

Volumn 26, Issue 3-4, 1996, Pages 315-339

  Janssens, D ^a   Mens, T ^b  

^a UNIVERSITY OF ANTWERP   (Belgium)

^b VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL GRAMMARS; COMPUTATIONAL LINGUISTICS; CONCURRENCY CONTROL; DATA STRUCTURES; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS;

ABSTRACT SEMANTICS; ACTOR GRAMMARS; ESM SYSTEMS; GLOBAL SYSTEM; GRAPH GRAMMARS; GRAPH REWRITING FORMALISM;

GRAPH THEORY;

EID: 0030169294     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1996-263405     Document Type: Article

References (12)

1. G. A. Agha, Actors: A Model of Concurrent Computation in Distributed Systems, M.I.T. Press, Cambridge, MA, 1986.
2. H. Ehrig, Tutorial Introduction to the Algebraic Approach of Graph Grammars, in Graph Grammars and Their Application in Computer Science, Lecture Notes in Computer Science, Vol. 291, Springer-Verlag, Berlin, 1987, pp. 3-14.
3. C. Hewitt, Viewing Control Structures as Patterns of Passing Messages, J. Artificial Intel., 8 (1977), 323-364.
4. C. Hewitt and H. Baker, Laws for Communicating Parallel Processes, Proc. IFIP 77, Toronto, 1977, 987-992.
5. D. Janssens and G. Rozenberg, Actor Grammars, Math. Systems Theory, 22 (1989), 75-107.
6. D. Janssens and G. Rozenberg, Basic Notions of Actor Grammars: A Graph Grammar Model for Actor Computation, in Graph Grammars and Their Application in Computer Science, Lecture Notes in Computer Science, Vol. 291, Springer-Verlag, Berlin, 1987, pp. 280-298.
7. D. Janssens, Equivalence of Computations in Actor Grammars, Theoretical Computer Science, 109 (1993), 145-180.
8. D. Janssens, M. Lens and G. Rozenberg, Computation Graphs for Actor Grammars, Journal of Computer and System Sciences, 46 (1993), 60-90.
9. D. Janssens, ESM Systems and the Composition of their Computations, in proceedings of Dagstuhl workshop on graph rewriting, Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1994.
10. M. Löwe, Algebraic Approach to Single-Pushout Graph Transformation, Theoretical Computer Science, 109 (1993), 181-224.
11. W. Reisig, Petri Nets, EATCS monographs in Computer science, Springer-Verlag, Berlin.
12. G. Rozenberg, Behaviour of Elementary Net Systems, in Advances in Petri Nets 1986, Part 1, Lecture Notes in Computer Science, Vol. 254, Springer-Verlag, Berlin, 1987, pp. 60-94.