On the public citation graph

Specifying concurrent languages and systems with Δ-grammars

0 signed · 41 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-10235-3openalex-snapshot

A Calculus of Communicating Systems

inferredcites →https://doi.org/10.1007/3-540-18771-5_40openalex-snapshot

Tutorial introduction to the algebraic approach of graph grammars

inferredcites →https://doi.org/10.1007/3-540-18771-5_41openalex-snapshot

May we introduce to you: Hyperedge replacement

inferredcites →https://doi.org/10.1007/3-540-18771-5_44openalex-snapshot

An introduction to the NLC way of rewriting graphs

inferredcites →https://doi.org/10.1007/3-540-18771-5_55openalex-snapshot

Graph grammars and diagram editing

inferredcites →https://doi.org/10.1007/3-540-18771-5_58openalex-snapshot

Ada-concurrency specified by graph grammars

inferredcites →https://doi.org/10.1007/3-540-18771-5_59openalex-snapshot

Basic notions of actor grammars

inferredcites →https://doi.org/10.1007/3-540-18771-5_67openalex-snapshot

Fundamentals of edge-label controlled graph grammars

inferredcites →https://doi.org/10.1007/3-540-18771-5_72openalex-snapshot

Graph rewriting with unification and composition

inferredcites →https://doi.org/10.1007/3-540-52292-1_9openalex-snapshot

Describing distributed systems by categorical graph grammars

inferredcites →https://doi.org/10.1007/978-3-642-95486-3_7openalex-snapshot

Graph Grammars with Application Conditions

inferredcites →https://doi.org/10.1007/978-3-663-01443-0openalex-snapshot

Graph-Grammatiken

inferredcites →https://doi.org/10.1007/bfb0000103openalex-snapshot

Attributed graph grammars for graphics

inferredcites →https://doi.org/10.1007/bfb0013875openalex-snapshot

Hyperedge Replacement: Grammars and Languages

inferredcites →https://doi.org/10.1007/bfb0025714openalex-snapshot

Introduction to the algebraic theory of graph grammars (a survey)

inferredcites →https://doi.org/10.5555/952786.952795openalex-snapshot

Abstraction and composition in Delta -specifications of concurrent systems

inferredcites →https://doi.org/10.7551/mitpress/1086.001.0001openalex-snapshot

Actors

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-45104-8_2openalex-snapshot

Graph Transformation Modules and Their Composition

inferred← citeshttps://doi.org/10.1007/3-540-61228-9_78openalex-snapshot

Issues in the practical use of graph rewriting

inferred← citeshttps://doi.org/10.1007/3-540-61228-9_95openalex-snapshot

Hierarchically distributed graph transformation

inferred← citeshttps://doi.org/10.1007/978-0-387-35562-7_8openalex-snapshot

Design and Implementation of Coordination Protocols for Distributed Cooperating Objects — A General Graph-Based Technique Applied to Corba

inferred← citeshttps://doi.org/10.1007/978-3-540-31984-9_4openalex-snapshot

Automatic Conformance Testing of Web Services

inferred← citeshttps://doi.org/10.1007/978-94-015-9608-4_6openalex-snapshot

Compositional Specification of Distributed Systems by Distributed Graph Transformation

inferred← citeshttps://doi.org/10.1007/s10270-010-0162-zopenalex-snapshot

Modeling and enforcing invariants of dynamic software architectures

inferred← citeshttps://doi.org/10.1016/j.jvlc.2004.01.002openalex-snapshot

Definition of visual processes in a language for expressing transitions

inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80206-8openalex-snapshot

Structured Modeling with GRACE

inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80207-xopenalex-snapshot

Parameterized Transformation Units

inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80212-3openalex-snapshot

Visual Modeling of Distributed Object Systems by Graph Transformation

inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80202-6openalex-snapshot

A Note on Outward and Inward Productions in the Categorical Graph-Grammar Approach and Δ-Grammars

inferred← citeshttps://doi.org/10.1017/s0960129500070080openalex-snapshot

On outward and inward productions in the categorical graph-grammar approach and Δ-grammars

inferred← citeshttps://doi.org/10.1017/s0960129505004846openalex-snapshot

Abstract hierarchical graph transformation

inferred← citeshttps://doi.org/10.1023/a:1008683005045openalex-snapshot

Distributed Graphs and Graph Transformation

inferred← citeshttps://doi.org/10.1023/a:1019130611825openalex-snapshot

A coordination middleware for collaborative component-oriented distributed applications

inferred← citeshttps://doi.org/10.1109/icita.2005.304openalex-snapshot

Using UML2.0 and GG for Describing the Dynamic of Software Architectures

inferred← citeshttps://doi.org/10.1109/icpr.1992.201776openalex-snapshot

A survey of graph grammars: theory and applications

inferred← citeshttps://doi.org/10.1109/icps.2004.33openalex-snapshot

Towards a unified graph-based framework for dynamic component-based architectures description in Z

inferred← citeshttps://doi.org/10.1142/s0218001498000439openalex-snapshot

A Graph-Rewriting Paradigm for Discrete Relaxation

inferred← citeshttps://doi.org/10.14236/ewic/vecos2007.6openalex-snapshot

Consistent Reconfiguration for Publish/Subscribe Architecture Styles

inferred← citeshttps://doi.org/10.3233/fi-1996-263408openalex-snapshot

TOWARDS SYNCHRONOUS AND ASYNCHRONOUS GRAPH TRANSFORMATIONS

inferred← citeshttps://doi.org/10.3233/fi-1996-263409openalex-snapshot

DEFINING OPERATIONAL BEHAVIOR OF OBJECT SPECIFICATIONS BY ATTRIBUTED GRAPH TRANSFORMATIONS

inferred← citeshttps://doi.org/10.3233/ica-2001-8403openalex-snapshot

An integrated approach to coordination description in distributed multimedia applications

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.