Proceedings 7th International Workshop on Computing with Terms and Graphs : On the Concurrent Semantics of Transformation Systems with Negative Application Conditions
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
Proceedings 7th International Workshop on Computing with Terms and Graphs : On the Concurrent Semantics of Transformation Systems with Negative Application Conditions
:
On the Concurrent Semantics of Transformation Systems with Negative Application Conditions
Beteiligte:
Corradini, Andrea
Erschienen:
Open Publishing Association, 2013
Erschienen in:Electronic Proceedings in Theoretical Computer Science