On the public citation graph
Algebra transformation systems and their composition
0 signed · 27 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-61064-2_41openalex-snapshot
Behavioural satisfaction and equivalence in concrete model categories
inferredcites →https://doi.org/10.1007/3-540-61550-4_180openalex-snapshot
From static to dynamic abstract data-types
inferredcites →https://doi.org/10.1007/978-3-642-69962-7openalex-snapshot
Fundamentals of Algebraic Specification 1
inferredcites →https://doi.org/10.1007/bf01212304openalex-snapshot
Temporal theories as modularisation units for concurrent system specification
inferredcites →https://doi.org/10.1017/s0960129500000700openalex-snapshot
Categorical concepts for parameterized partial specifications
inferredcites →https://doi.org/10.1017/s0960129500000736openalex-snapshot
D-oids: a model for dynamic data-types
inferredcites →https://doi.org/10.1023/a:1008695322792openalex-snapshot
First Steps Towards an Institution of Algebra Replacement Systems
inferredcites →https://doi.org/10.1093/oso/9780198537809.003.0001openalex-snapshot
Models for concurrency
inferredcites →https://doi.org/10.1145/147508.147524openalex-snapshot
Institutions: abstract model theory for specification and programming
inferredcites →https://doi.org/10.1515/9783112573426openalex-snapshot
Initial Computability, Algebraic Specifications, and Partial Algebras
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-44803-9_19openalex-snapshot
Object-Oriented Database as a Dynamic System with Implicit State
inferred← citeshttps://doi.org/10.1007/3-540-45441-1_21openalex-snapshot
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
inferred← citeshttps://doi.org/10.1007/3-540-45645-7_12openalex-snapshot
Tight and Loose Semantics for Transformation Systems
inferred← citeshttps://doi.org/10.1007/3-540-45719-4_29openalex-snapshot
Revisiting the Categorical Approach to Systems*
inferred← citeshttps://doi.org/10.1007/3-540-46562-6_3openalex-snapshot
Algebraic Imperative Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-46464-8_15openalex-snapshot
Redundancy and Subsumption in High-Level Replacement Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-49020-3_8openalex-snapshot
Dynamic Systems with Implicit State
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/bfb0053588openalex-snapshot
Compositional verification of reactive systems specified by graph transformation
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00173-2openalex-snapshot
A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00191-4openalex-snapshot
GETGRATS A summary of scientific results (with annotated bibliography)
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80199-3openalex-snapshot
Algebra Transformation Systems as a Unifying Framework
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80204-4openalex-snapshot
A graph-based approach to the compositional specification of distributed systems
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80453-5openalex-snapshot
Foundations for a Combination of Heterogeneous Specification Components
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80945-9openalex-snapshot
Formal concepts for an integrated internal model of the UML
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.