scientific article; zbMATH DE number 919845
From MaRDI portal
Publication:4890710
zbMath0854.68054MaRDI QIDQ4890710
Andrea Corradini, Ugo Montanari, Francesca Rossi
Publication date: 25 August 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (41)
A Term-Graph Syntax for Algebras over Multisets ⋮ Structural and behavioural compatibility of graphical service specifications ⋮ Unfolding semantics of graph transformation ⋮ Attributed graph transformation with node type inheritance ⋮ Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings ⋮ Reachability in Graph Transformation Systems and Slice Languages ⋮ Specifying graph languages with type graphs ⋮ Computational category-theoretic rewriting ⋮ A decentralised graphical implementation of mobile ambients ⋮ Ugo Montanari and Graph Transformation ⋮ Unfolding Graph Transformation Systems: Theory and Applications to Verification ⋮ Linear-Ordered Graph Grammars: Applications to Distributed Systems Design ⋮ Correct transformation: from object-based graph grammars to PROMELA ⋮ Unfolding-based diagnosis of systems with an evolving topology ⋮ Unnamed Item ⋮ A Decentralized Implementation of Mobile Ambients ⋮ Open Petri Nets: Non-deterministic Processes and Compositionality ⋮ Unfolding-Based Diagnosis of Systems with an Evolving Topology ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Subobject transformation systems ⋮ A framework for the verification of infinite-state graph transformation systems ⋮ Towards a Notion of Transaction in Graph Rewriting ⋮ Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) ⋮ A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques ⋮ How to Specify a Graph Transformation Approach ⋮ Concurrency for Graph Grammars in a Petri net shell ⋮ Towards a Formal Framework for Inter-Enterprise Application Integration ⋮ Processes and Local Actions ⋮ An Abstract Module Concept for Graph Transformation Systems ⋮ CoReS: a tool for computing core graphs via SAT/SMT solvers ⋮ Synthesising CCS bisimulation using graph rewriting ⋮ A calculus of concurrent graph-rewriting processes ⋮ Graph transformations for object-oriented refinement ⋮ A tale of two graph models: a case study in wireless sensor networks ⋮ Contextual Petri nets, asymmetric event structures, and processes ⋮ A general framework for types in graph rewriting ⋮ Formal Verification of Object-Oriented Graph Grammars Specifications ⋮ Modelling Calculi with Name Mobility using Graphs with Equivalences ⋮ Stochastic Object-Based Graph Grammars ⋮ Formal software specification with refinements and modules of typed graph transformation systems
This page was built for publication:
