Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
On the Compatibility of Model and Model-Class Transformations
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Formal and natural computing
Behaviour and Instantiation of High-Level Petri Net Processes
Fundamenta Informaticae
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Applying algebraic approaches for modeling workflows and their transformations in mobile networks
Mobile Information Systems
Termination of High-Level Replacement Units with Application to Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
High-level replacement units and their termination properties
Journal of Visual Languages and Computing
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Behaviour and Instantiation of High-Level Petri Net Processes
Fundamenta Informaticae
| Hi-index | 0.00 |