True concurrency = Interleaving concurrency + weak conflict

Electronic Notes in Theoretical Computer Science

Volumn 14, Issue , 1998, Pages 204-213

  Korff, Leila Ribeiro ^a   Korff, Martin ^b  

^a FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

^b Nutec Informática ^*  (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER OPERATING SYSTEMS; GRAPH THEORY; MATHEMATICAL MODELS; SEMANTICS; TURING MACHINES;

CONCURRENCY SEMANTICS; GRAPH GRAMMARS; PATH EXPRESSIONS; SEMAPHORES;

CONCURRENCY CONTROL;

EID: 18944405442     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80237-3     Document Type: Conference Paper

References (17)

1. Agha G. Actors: A model of concurrent computation in distributed systems. 1986;The MIT Press, Cambridge
2. Corradini A. Concurrent computing: from Petri nets to graph grammars. Eletronic Notes in Theoretical Computer Science, Proc. of the SEGRAGRA'95 Workshop on Graph Rewriting and Computation. 2:1995;245-260
3. Ehrig H., Heckel R., Korff M., Löwe M., Ribeiro L., Wagner A., Corradini A. Algebraic approaches to graph transformation II: Single pushout approach and comparison with double pushout approach. The Handbook of Graph Grammars, Volume 1: Foundations, World Scientific. 1996
4. Ehrig H. Introduction to the algebraic theory of graph grammars. 1st Graph Grammar Workshop, Lecture Notes in Computer Science 73. Claus V., Ehrig H., Rozenberg G. 1979;1-69 Springer Verlag
5. Janicki R., Koutny M. Structure of concurrency, Theoretical Computer Science. 112:1993;5-52
6. Korff M. Single pushout transformations of equationally defined graph structures with applications to actor systems. Proc. Graph Grammar Workshop Dagstuhl 93. Lecture Notes in Computer Science. 776:1994;234-247 Springer Verlag
7. Korff M. True concurrency semantics for single pushout graph transformations with applications to actor systems. Wieringa R.J., Feenstra R.B. Information Systems - Correctness and Reusability. 1995;33-50 World Scientific
8. Korff, M., Generalized graph structure grammars with applications to concurrent object-oriented systems, Ph.D. thesis, Technical University of Berlin, 1996.
9. Korff M., Ribeiro L. Formal relationship between graph grammars and Petri nets. Lecture Notes in Computer Science. 1073:1996;288-303
10. Löowe M., Dingel J. Parallelism in single-pushout graph rewriting. Lecture Notes in Computer Science. 776:1994;234-247
11. Löowe M. Algebraic approach to single-pushout graph transformation. Theoretical Computer Science. 109:1993;181-224
12. Montanari U., Rossi F. Contextual nets. Acta Informatica. Vol. 32:1995
13. Nagl M. (organizer), The use of graph grammars in applications, Graph Grammars and Their Applications to Computer Science, Springer. LNCS, Panel discussion. 532:1991;41-60
14. Ribeiro, L., A telephone system's specification using graph grammars, Tech. Report 96-23, Technical University of Berlin, 1996.
15. Ribeiro L., Korff M. Graph grammars for the specification of concurrent systems. Proc. of the IX SBES Brazilian Software Engineering Symposium (Fortaleza - Brazil). 1997;199-214
16. Taentzer, G., Parallel and distributed graph transformation: Formal description and application to communication-based systems, Ph.D. thesis, Technical University of Berlin, 1996.
17. Winskel G. An introduction to event structures. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. 1989;364-397 Springer Verlag