On the public citation graph
Sketching concepts and computational model of TROLL light
0 signed · 52 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-10235-3openalex-snapshot
A Calculus of Communicating Systems
inferredcites →https://doi.org/10.1007/3-540-17162-2_133openalex-snapshot
Extended ML: An institution-independent framework for formal program development
inferredcites →https://doi.org/10.1007/3-540-52513-0openalex-snapshot
VDM '90 VDM and Z — Formal Methods in Software Development
inferredcites →https://doi.org/10.1007/3-540-54496-8_13openalex-snapshot
Entities: An institution for dynamic systems
inferredcites →https://doi.org/10.1007/3-540-54972-2openalex-snapshot
Algebraic Specification Techniques in Object Oriented Programming Environments
inferredcites →https://doi.org/10.1007/3-540-56379-2_33openalex-snapshot
Algebraic specification of concurrency
inferredcites →https://doi.org/10.1007/3-540-56379-2_44openalex-snapshot
The object-based specification language Π: concepts, syntax, and semantics
inferredcites →https://doi.org/10.1007/3-540-56777-1_25openalex-snapshot
Towards reliable information systems: The KorSo approach
inferredcites →https://doi.org/10.1007/3540539816_61openalex-snapshot
Formal specification of object systems
inferredcites →https://doi.org/10.1007/978-1-4471-3864-8_15openalex-snapshot
The Reification Dimension in Object-oriented Data Base Design
inferredcites →https://doi.org/10.1007/978-3-322-94709-3openalex-snapshot
Algebraische Spezifikation abstrakter Datentypen
inferredcites →https://doi.org/10.1007/978-3-642-61284-8openalex-snapshot
Fundamentals of Algebraic Specification 2
inferredcites →https://doi.org/10.1007/978-3-642-69962-7openalex-snapshot
Fundamentals of Algebraic Specification 1
inferredcites →https://doi.org/10.1007/bfb0019445openalex-snapshot
A categorial theory of objects as observed processes
inferredcites →https://doi.org/10.1016/0141-9331(86)90196-1openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1016/0304-3975(90)90049-nopenalex-snapshot
Combining data type and recursive process specifications using projection algebras
inferredcites →https://doi.org/10.1016/0304-3975(92)90182-fopenalex-snapshot
Conditional rewriting logic as a unified model of concurrency
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50018-4openalex-snapshot
Algebraic Specification
inferredcites →https://doi.org/10.1145/45072.45073openalex-snapshot
Semantic database modeling: survey, applications, and research issues
inferredcites →https://doi.org/10.13140/rg.2.2.34908.80004openalex-snapshot
The Requirement and Design Specification Language Spectrum - An Informal Introduction - Version 1.0
inferredcites →https://doi.org/10.7551/mitpress/2087.003.0017openalex-snapshot
A Logical Theory of Concurrent Objects and Its Realization in the Maude Language
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-57867-6_10openalex-snapshot
Translating TROLL light concepts to Maude
inferred← citeshttps://doi.org/10.1007/3-540-57867-6_9openalex-snapshot
On certification of specifications for TROLL light objects
inferred← citeshttps://doi.org/10.1007/3-540-60043-4_70openalex-snapshot
An algebraic development technique for information systems
inferred← citeshttps://doi.org/10.1007/3-540-60973-3_108openalex-snapshot
A formal approach to architectural design patterns
inferred← citeshttps://doi.org/10.1007/3-540-61697-7_12openalex-snapshot
Parameterizing object specifications
inferred← citeshttps://doi.org/10.1007/3-540-64299-4_37openalex-snapshot
On combining semi-formal and formal object specification techniques
inferred← citeshttps://doi.org/10.1007/978-1-4471-3016-1_25openalex-snapshot
Safe Derivations in Object Hierarchies
inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_38openalex-snapshot
An Object-Oriented Design for the ACT ONE Environment
inferred← citeshttps://doi.org/10.1007/978-1-4615-0167-1_23openalex-snapshot
Research Notes on Developing a Formal Organizational Language
inferred← citeshttps://doi.org/10.1007/978-3-642-79646-3_9openalex-snapshot
Unterstützung des korrektheitszentrierten Entwurfs von Informationssystemen
inferred← citeshttps://doi.org/10.1007/bfb0014014openalex-snapshot
A SQL-like query calculus for object-oriented database systems
inferred← citeshttps://doi.org/10.1007/bfb0014430openalex-snapshot
Local specification of distributed families of sequential objects
inferred← citeshttps://doi.org/10.1007/bfb0014434openalex-snapshot
An algebraic semantics for the object specification language TROLL light
inferred← citeshttps://doi.org/10.1007/bfb0015457openalex-snapshot
On object-oriented design and verification
inferred← citeshttps://doi.org/10.1007/bfb0015460openalex-snapshot
KORSO reference languages concepts and application domains
inferred← citeshttps://doi.org/10.1007/bfb0015463openalex-snapshot
TROLL light — The language and its development environment
inferred← citeshttps://doi.org/10.1007/bfb0024381openalex-snapshot
Integrating the ER approach in an OO environment
inferred← citeshttps://doi.org/10.1007/s004500050084openalex-snapshot
KORSO - Korrekte Software durch formale Methoden
inferred← citeshttps://doi.org/10.1016/0169-023x(95)00006-eopenalex-snapshot
A survey of database design transformations based on the Entity-Relationship model
inferred← citeshttps://doi.org/10.1016/0169-023x(95)00039-uopenalex-snapshot
A basic calculus for verifying properties of interacting objects
inferred← citeshttps://doi.org/10.1016/0169-023x(95)00046-uopenalex-snapshot
Drafting ER and OO schemas in prototype environments
inferred← citeshttps://doi.org/10.1109/69.390254openalex-snapshot
A development environment for an object specification language
inferred← citeshttps://doi.org/10.1109/ideas.1997.625677openalex-snapshot
A Web-based animator for validating object specifications
inferred← citeshttps://doi.org/10.1109/wpc.1996.501130openalex-snapshot
A formal architectural design patterns-based approach to software understanding
inferred← citeshttps://doi.org/10.1145/211782.211811openalex-snapshot
Formal specification of reusable interface objects
inferred← citeshttps://doi.org/10.3233/fi-1996-263409openalex-snapshot
DEFINING OPERATIONAL BEHAVIOR OF OBJECT SPECIFICATIONS BY ATTRIBUTED GRAPH TRANSFORMATIONS
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.