scientific article; zbMATH DE number 919845
From MaRDI portal
zbMATH Open0854.68054MaRDI QIDQ4890710FDOQ4890710
Authors: Andrea Corradini, Ugo Montanari, Francesca Rossi 
Publication date: 25 August 1996
Title of this publication is not available (Why is that?)
Recommendations
Cited In (50)
- Unfolding-based diagnosis of systems with an evolving topology
- Title not available (Why is that?)
- An abstract module concept for graph transformation systems
- Concurrency for Graph Grammars in a Petri net shell
- A calculus of concurrent graph-rewriting processes
- Proving termination of graph transformation systems using weighted type graphs over semirings
- Title not available (Why is that?)
- Unfolding-Based Diagnosis of Systems with an Evolving Topology
- A Decentralized Implementation of Mobile Ambients
- Linear-Ordered Graph Grammars: Applications to Distributed Systems Design
- Static mapping of process graphs
- How to specify a graph transformation approach: a meta model for \textsc{Fujaba}
- Towards a formal framework for inter-enterprise application integration
- Processes and local actions
- Correct transformation: from object-based graph grammars to PROMELA
- Formal Methods in Software and Systems Modeling
- Labelled transitions for mobile ambients (as synthesized via a graphical encoding)
- Unfolding semantics of graph transformation
- A framework for the verification of infinite-state graph transformation systems
- Ugo Montanari and Graph Transformation
- A general framework for types in graph rewriting
- Towards a notion of transaction in graph rewriting
- Graph transformations for object-oriented refinement
- Title not available (Why is that?)
- Numbering action vertices in workflow graphs
- Open Petri Nets: Non-deterministic Processes and Compositionality
- A decentralised graphical implementation of mobile ambients
- Unfolding Graph Transformation Systems: Theory and Applications to Verification
- Equivalence and independence in controlled graph-rewriting processes
- Synthesising CCS bisimulation using graph rewriting
- Contextual Petri nets, asymmetric event structures, and processes
- Computational category-theoretic rewriting
- A tale of two graph models: a case study in wireless sensor networks
- Specifying graph languages with type graphs
- CoReS: a tool for computing core graphs via SAT/SMT solvers
- Formal verification of object-oriented graph grammars specifications
- Computational Category-Theoretic Rewriting
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Term-Graph Syntax for Algebras over Multisets
- Title not available (Why is that?)
- Structural and behavioural compatibility of graphical service specifications
- Attributed graph transformation with node type inheritance
- Reachability in graph transformation systems and slice languages
- The category of typed graph grammars and its adjunctions with categories of derivations
- Stochastic object-based graph grammars
- Subobject transformation systems
- A conceptual and formal framework for the integration of data type and process modeling techniques
- Modelling calculi with name mobility using graphs with equivalences
- Formal software specification with refinements and modules of typed graph transformation systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4890710)
