| Reference : On the Concurrent Semantics of Transformation Systems with Negative Application Conditions |
| Reports : Expert report | |||
| Engineering, computing & technology : Computer science | |||
| http://hdl.handle.net/10993/3932 | |||
| On the Concurrent Semantics of Transformation Systems with Negative Application Conditions | |
| English | |
| Corradini, Andrea [Dipartimento di Informatica, Università di Pisa, Italy] | |
| Heckel, Reiko [University of Leicester, UK] | |
Hermann, Frank  [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >] | |
| Gottmann, Susann [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >] | |
| Nachtigall, Nico [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >] | |
| 2012 | |
| Universidad Complutense de Madrid Departamento de Sistemas Informáticos y Computación | |
| 3 | |
| TR-08/12 | |
| Madrid | |
| Spain | |
| [en] Graph Transformation Systems (GTSs) are an integrated formal speci cation
framework for modelling and analysing structural and behavioural aspects of systems. The evolution of a system is modelled by the application of rules to the graphs representing its states and, since typically such rules have local e ects, GTSs are particularly suitable for modelling concurrent and distributed systems where several rules can be applied in parallel. Thus, it is no surprise that a large body of literature is dedicated to the study of the concurrent semantics of graph transformation systems. | |
| http://hdl.handle.net/10993/3932 | |
| http://federwin.sip.ucm.es/sic/investigacion/publicaciones/pdfs/SIC-8-12.pdf |
| File(s) associated to this reference | ||||||||||||||
|
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.
