On the public citation graph

A categorial theory of objects as observed processes

https://doi.org/10.1007/bfb0019445

0 signed · 75 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-10007-5_41openalex-snapshot

The semantics of clear, a specification language

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

Advances in Object-Oriented Database Systems

inferredcites →https://doi.org/10.1007/3-540-50345-5_10openalex-snapshot

Abstract object types for databases

inferredcites →https://doi.org/10.1007/3-540-51722-7_9openalex-snapshot

Objects, object types, and object identification

inferredcites →https://doi.org/10.1007/3-540-51803-7_33openalex-snapshot

Abstract object types: A temporal perspective

inferredcites →https://doi.org/10.1007/3-540-52513-0_2openalex-snapshot

An algebraic approach to refinement

inferredcites →https://doi.org/10.1007/3-540-52559-9_67openalex-snapshot

Algebraic implementation of objects over objects

inferredcites →https://doi.org/10.1007/978-1-4757-0555-3_18openalex-snapshot

A Categorical Approach to General Systems

inferredcites →https://doi.org/10.1007/978-3-642-59412-0_24openalex-snapshot

Proof of Correctness of Data Representations

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

Proof of correctness of data representations

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

Universal realization, persistent interconnection and implementation of abstract modules

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

Describing, structuring and implementing objects

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

Categories Fibrees et Descente

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

The Tame Fundamental Group of a Formal Neighbourhood of a Divisor with Normal Crossings on a Scheme

inferredcites →https://doi.org/10.1016/0040-9383(65)90066-2openalex-snapshot

Sheaves with values in a category

inferredcites →https://doi.org/10.1016/0169-023x(91)90015-popenalex-snapshot

Descriptive specification of database object behaviour

inferredcites →https://doi.org/10.1016/0304-3975(84)90036-7openalex-snapshot

Some fundamental algebraic tools for the semantics of computation

inferredcites →https://doi.org/10.1016/0304-3975(84)90134-8openalex-snapshot

Some fundamental algebraic tools for the semantics of computation

inferredcites →https://doi.org/10.1016/c2009-0-14385-4openalex-snapshot

Topoi - The Categorial Analysis of Logic

inferredcites →https://doi.org/10.1017/s0960129500000050openalex-snapshot

A categorical manifesto

inferredcites →https://doi.org/10.1080/03081077408960783openalex-snapshot

OBJECTS

inferredcites →https://doi.org/10.1093/logcom/1.2.187openalex-snapshot

Logics of Modal Terms for Systems Specification

inferredcites →https://doi.org/10.1159/000389460openalex-snapshot

Mathematical Representation of Hierarchically Organized Systems

What points at this work

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

inferred← citeshttps://doi.org/10.1007/11780274_21openalex-snapshot

Sheaves and Structures of Transition Systems

inferred← citeshttps://doi.org/10.1007/3-540-55613-3_12openalex-snapshot

Abstract description of distributed object systems

inferred← citeshttps://doi.org/10.1007/3-540-55613-3_4openalex-snapshot

A sheaf semantics for FOOPS expressions (extended abstract)

inferred← citeshttps://doi.org/10.1007/3-540-55693-1_33openalex-snapshot

Views and formal implementation in a three-level schema architecture for dynamic objects

inferred← citeshttps://doi.org/10.1007/3-540-55808-x_18openalex-snapshot

Object interaction

inferred← citeshttps://doi.org/10.1007/3-540-55808-x_42openalex-snapshot

On the nature of events

inferred← citeshttps://doi.org/10.1007/3-540-56379-2_34openalex-snapshot

Objects and their specification

inferred← citeshttps://doi.org/10.1007/3-540-56379-2_43openalex-snapshot

Process semantics of temporal logic specification

inferred← citeshttps://doi.org/10.1007/3-540-56610-4_82openalex-snapshot

Constructing systems as object communities

inferred← citeshttps://doi.org/10.1007/3-540-57182-5_30openalex-snapshot

Data encapsulation and modularity: Three views of inheritance

inferred← citeshttps://doi.org/10.1007/3-540-63533-5_4openalex-snapshot

A semantic integration of object-Z and CSP for the specification of concurrent systems

inferred← citeshttps://doi.org/10.1007/3540539816_61openalex-snapshot

Formal specification of object systems

inferred← citeshttps://doi.org/10.1007/978-0-387-34983-1_17openalex-snapshot

Objects and Environments in Dynamic CIMOSA Models

inferred← citeshttps://doi.org/10.1007/978-0-387-35621-1_39openalex-snapshot

Language Semantics

inferred← citeshttps://doi.org/10.1007/978-0-585-27524-6_14openalex-snapshot

Architectural Specifications: Modeling and Structuring Behavior Through Rules

inferred← citeshttps://doi.org/10.1007/978-1-4471-1486-4_26openalex-snapshot

Object-oriented solutions

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_37openalex-snapshot

Towards an Algebraic Theory of Inheritance in Object Oriented Programming

inferred← citeshttps://doi.org/10.1007/978-1-4471-3577-7_21openalex-snapshot

Inheritance of Object Behavior — Consistent Extension of Object Life Cycles

inferred← citeshttps://doi.org/10.1007/978-1-4471-3864-8_12openalex-snapshot

Specification of Database Applications in the TROLL Language

inferred← citeshttps://doi.org/10.1007/978-1-4471-3864-8_15openalex-snapshot

The Reification Dimension in Object-oriented Data Base Design

inferred← citeshttps://doi.org/10.1007/978-3-642-28412-0_2openalex-snapshot

My ADT Shrine

inferred← citeshttps://doi.org/10.1007/978-3-642-76530-8_18openalex-snapshot

Konzeptioneller Entwurf von Objektgesellschaften

inferred← citeshttps://doi.org/10.1007/978-3-642-77312-9_1openalex-snapshot

Concepts of Object—Orientation

inferred← citeshttps://doi.org/10.1007/978-3-642-77873-5_10openalex-snapshot

Spezifikation von Objektsystemen

inferred← citeshttps://doi.org/10.1007/978-3-662-03039-4_10openalex-snapshot

Can Categorical Shape Theory Handle Grey-level Images?

inferred← citeshttps://doi.org/10.1007/978-3-7091-2704-9_11openalex-snapshot

Object-Oriented Design of Information Systems: Theoretical Foundations

inferred← citeshttps://doi.org/10.1007/978-3-7091-2704-9_12openalex-snapshot

Object-Oriented Design of Information Systems: Troll Language Features

inferred← citeshttps://doi.org/10.1007/bf01178920openalex-snapshot

Object inheritance beyond subtyping

inferred← citeshttps://doi.org/10.1007/bfb0013165openalex-snapshot

Sketching concepts and computational model of TROLL light

inferred← citeshttps://doi.org/10.1007/bfb0014017openalex-snapshot

Rigorous object-oriented analysis

inferred← citeshttps://doi.org/10.1007/bfb0014430openalex-snapshot

Local specification of distributed families of sequential objects

inferred← citeshttps://doi.org/10.1007/bfb0014433openalex-snapshot

Institutions for behaviour specification

inferred← citeshttps://doi.org/10.1007/bfb0015456openalex-snapshot

Event automata as a generic model of reactive systems

inferred← citeshttps://doi.org/10.1007/bfb0053030openalex-snapshot

Aggregation in a behavior oriented object model

inferred← citeshttps://doi.org/10.1007/s002360050141openalex-snapshot

Denotational semantics of object specification

inferred← citeshttps://doi.org/10.1016/j.entcs.2008.12.063openalex-snapshot

Sheaves, Objects, and Distributed Systems

inferred← citeshttps://doi.org/10.1016/s0166-3615(99)00026-3openalex-snapshot

Railway operating procedures: regulating a safety-critical enterprise

inferred← citeshttps://doi.org/10.1016/s0167-6423(96)00025-1openalex-snapshot

Categorical semantics of parallel program design

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

Mirror, mirror in my hand: a duality between specifications and models of process behaviour

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

Sheaf semantics for concurrent interacting objects

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

Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP

inferred← citeshttps://doi.org/10.1109/apsec.1997.640203openalex-snapshot

A formal model of concurrency for distributed object-oriented systems

inferred← citeshttps://doi.org/10.1109/sera.2009.15openalex-snapshot

An Abstract Approach to Describing Scenario-Based Specifications

inferred← citeshttps://doi.org/10.1109/sose.2010.9openalex-snapshot

A Formal Modeling for Component Behaviors Based on Event Track

inferred← citeshttps://doi.org/10.1109/waina.2018.00059openalex-snapshot

Sheaf Theory as a Mathematical Foundation for Distributed Applications Involving Heterogeneous Data Sets

inferred← citeshttps://doi.org/10.1145/504087.504091openalex-snapshot

Behavior-consistent specialization of object life cycles

inferred← citeshttps://doi.org/10.11648/j.ijdsa.20170305.11openalex-snapshot

Sheaf Theory Approach to Distributed Applications: Analysing Heterogeneous Data in Air Traffic Monitoring

inferred← citeshttps://doi.org/10.1587/transinf.e94.d.79openalex-snapshot

Checking Behavioral Compatibility between Objects by Extending the Methods Rule

inferred← citeshttps://doi.org/10.24355/dbbs.084-200511080100-561openalex-snapshot

On the Development and Use of a Formal Object Oriented Methodology Based on an Application Case Study

inferred← citeshttps://doi.org/10.26076/fcb0-3f71openalex-snapshot

Sheaf Theory as a Foundation for Heterogeneous Data Fusion

inferred← citeshttps://doi.org/10.48550/arxiv.cs/0106026openalex-snapshot

Event Driven Computations for Relational Query Language

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.