The following pages link to (Q4890710):
Displaying 41 items.
- Correct transformation: from object-based graph grammars to PROMELA (Q436353) (← links)
- A decentralised graphical implementation of mobile ambients (Q624388) (← links)
- Structural and behavioural compatibility of graphical service specifications (Q861295) (← links)
- Unfolding semantics of graph transformation (Q879600) (← links)
- Attributed graph transformation with node type inheritance (Q882448) (← links)
- Subobject transformation systems (Q934672) (← links)
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
- Graph transformations for object-oriented refinement (Q1019019) (← links)
- Formal software specification with refinements and modules of typed graph transformation systems (Q1608315) (← links)
- Contextual Petri nets, asymmetric event structures, and processes (Q1854468) (← links)
- Unfolding-based diagnosis of systems with an evolving topology (Q1959480) (← links)
- A tale of two graph models: a case study in wireless sensor networks (Q2065559) (← links)
- A calculus of concurrent graph-rewriting processes (Q2291821) (← links)
- Specifying graph languages with type graphs (Q2423749) (← links)
- A general framework for types in graph rewriting (Q2581012) (← links)
- Formal Verification of Object-Oriented Graph Grammars Specifications (Q2867893) (← links)
- Modelling Calculi with Name Mobility using Graphs with Equivalences (Q2867900) (← links)
- Stochastic Object-Based Graph Grammars (Q2870329) (← links)
- Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings (Q2947210) (← links)
- Reachability in Graph Transformation Systems and Slice Languages (Q2947215) (← links)
- A Term-Graph Syntax for Algebras over Multisets (Q3184730) (← links)
- Ugo Montanari and Graph Transformation (Q3507353) (← links)
- Unfolding Graph Transformation Systems: Theory and Applications to Verification (Q3507354) (← links)
- Linear-Ordered Graph Grammars: Applications to Distributed Systems Design (Q3507361) (← links)
- A Decentralized Implementation of Mobile Ambients (Q3540392) (← links)
- Open Petri Nets: Non-deterministic Processes and Compositionality (Q3540404) (← links)
- Unfolding-Based Diagnosis of Systems with an Evolving Topology (Q3541019) (← links)
- (Q4222787) (← links)
- (Q4222788) (← links)
- A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques (Q4921549) (← links)
- How to Specify a Graph Transformation Approach (Q4923507) (← links)
- Concurrency for Graph Grammars in a Petri net shell (Q4923530) (← links)
- Towards a Formal Framework for Inter-Enterprise Application Integration (Q4923536) (← links)
- Processes and Local Actions (Q4923540) (← links)
- An Abstract Module Concept for Graph Transformation Systems (Q4923549) (← links)
- (Q5021222) (← links)
- Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) (Q5170667) (← links)
- Towards a Notion of Transaction in Graph Rewriting (Q5404174) (← links)
- CoReS: a tool for computing core graphs via SAT/SMT solvers (Q5918209) (← links)
- Computational category-theoretic rewriting (Q6113023) (← links)
