default search action
UNIGRA 2003: Warsaw, Poland
- Roswitha Bardohl, Hartmut Ehrig:
Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2003, Satellite Event for ETAPS 2003, Warsaw, Poland, April 5-6, 2003. Electronic Notes in Theoretical Computer Science 82(7), Elsevier 2003 - Hartmut Ehrig:
Behaviour and Instantiation of High-Level Net Processes. 1-15 - Milan Urbásek:
Modeling Petri Net Based Systems by Net Transformations: New Developments. 16-33 - Julia Padberg:
Case Study: Modelling Telecom Services with Petri Net Modules. 34-45 - Jörg Desel, Gabriel Juhás, Robert Lorenz:
Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. 46-62 - Fernando Orejas, Hartmut Ehrig:
Components for Algebra Transformation Systems. 63-78 - Sabine Kuske, Peter Knirsch:
Modeling Agent Systems with Distributed Transformation Units. 79-90 - Niels Van Eetvelde, Dirk Janssens:
A Hierarchical Program Representation for Refactoring. 91-104 - Mark Minas:
XML-based Specification of Diagram Editors. 105-119 - Paolo Bottoni:
Dynamic aspects of visual modelling languages. 120-132 - Gregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann:
Model-Based Verification and Validation of Properties. 133-150 - Stuart Kent, Robert Smith:
The Bidirectional Mapping Problem. 151-165 - Roswitha Bardohl, Hartmut Ehrig:
Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques. 166-167
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.