scientific article; zbMATH DE number 919845
From MaRDI portal
Recommendations
Cited in
(49)- Static mapping of process graphs
- A calculus of concurrent graph-rewriting processes
- Modelling calculi with name mobility using graphs with equivalences
- Structural and behavioural compatibility of graphical service specifications
- Labelled transitions for mobile ambients (as synthesized via a graphical encoding)
- Unfolding-based diagnosis of systems with an evolving topology
- Proving termination of graph transformation systems using weighted type graphs over semirings
- Correct transformation: from object-based graph grammars to PROMELA
- Attributed graph transformation with node type inheritance
- Stochastic object-based graph grammars
- scientific article; zbMATH DE number 2079810 (Why is no real title available?)
- Contextual Petri nets, asymmetric event structures, and processes
- Unfolding-Based Diagnosis of Systems with an Evolving Topology
- scientific article; zbMATH DE number 1231483 (Why is no real title available?)
- A Term-Graph Syntax for Algebras over Multisets
- Numbering action vertices in workflow graphs
- A decentralised graphical implementation of mobile ambients
- Unfolding Graph Transformation Systems: Theory and Applications to Verification
- CoReS: a tool for computing core graphs via SAT/SMT solvers
- Unfolding semantics of graph transformation
- Formal Methods in Software and Systems Modeling
- An abstract module concept for graph transformation systems
- A general framework for types in graph rewriting
- scientific article; zbMATH DE number 1231482 (Why is no real title available?)
- 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
- Formal verification of object-oriented graph grammars specifications
- Formal software specification with refinements and modules of typed graph transformation systems
- Open Petri Nets: Non-deterministic Processes and Compositionality
- Towards a notion of transaction in graph rewriting
- Graph transformations for object-oriented refinement
- Reachability in graph transformation systems and slice languages
- A Decentralized Implementation of Mobile Ambients
- Concurrency for Graph Grammars in a Petri net shell
- Computational Category-Theoretic Rewriting
- A framework for the verification of infinite-state graph transformation systems
- scientific article; zbMATH DE number 3846890 (Why is no real title available?)
- scientific article; zbMATH DE number 3856388 (Why is no real title available?)
- Subobject transformation systems
- Equivalence and independence in controlled graph-rewriting processes
- Ugo Montanari and Graph Transformation
- scientific article; zbMATH DE number 7456052 (Why is no real title available?)
- A conceptual and formal framework for the integration of data type and process modeling techniques
- Linear-Ordered Graph Grammars: Applications to Distributed Systems Design
- Synthesising CCS bisimulation using graph rewriting
- The category of typed graph grammars and its adjunctions with categories of derivations
- Computational category-theoretic rewriting
- A tale of two graph models: a case study in wireless sensor networks
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)
