On the public citation graph

Behaviour-refinement of coalgebraic specifications with coinductive correctness proofs

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.1006/inco.1995.1134openalex-snapshot

Forward and Backward Simulations

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-54496-8_16openalex-snapshot

Extended ML: Past, present and future

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

Semantics: Foundations and Applications

inferredcites →https://doi.org/10.1007/3-540-56596-5_45openalex-snapshot

On the foundations of final semantics: Non-standard sets, metric spaces, partial orders

inferredcites →https://doi.org/10.1007/3-540-57867-6_1openalex-snapshot

Towards an algebraic semantics for the object paradigm

inferredcites →https://doi.org/10.1007/3-540-60043-4_51openalex-snapshot

Proving the correctness of behavioural implementations

inferredcites →https://doi.org/10.1007/3-540-60043-4_57openalex-snapshot

Mongruences and cofree coalgebras

inferredcites →https://doi.org/10.1007/3-540-61474-5_91openalex-snapshot

PVS: Combining specification, proof checking, and model checking

inferredcites →https://doi.org/10.1007/978-0-585-27524-6_16openalex-snapshot

Automata Describing Object Behavior

inferredcites →https://doi.org/10.1007/978-1-4613-1437-0_5openalex-snapshot

Objects And Classes, Co-Algebraically

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/978-3-642-61455-2_15openalex-snapshot

Specification and Refinement of a Buffer of Length One

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

Proof of correctness of data representations

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

Context induction: A proof principle for behavioural abstractions and algebraic implementations

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

Coalgebraic specifications and models of deterministic hybrid systems

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

Inheritance and cofree constructions

inferredcites →https://doi.org/10.1016/0167-6423(89)90034-8openalex-snapshot

Object-oriented software construction

inferredcites →https://doi.org/10.1016/0167-6423(90)90057-kopenalex-snapshot

Behavioural correctness of data representations

inferredcites →https://doi.org/10.1016/0167-6423(95)00014-3openalex-snapshot

Behavioural and abstractor specifications

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

An approach to object semantics based on terminal co-algebras

inferredcites →https://doi.org/10.1145/3788687openalex-snapshot

An Introduction to Input/Output Automata

What points at this work

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

inferred← citeshttps://doi.org/10.1002/9780470522622openalex-snapshot

UML 2 Semantics and Applications

inferred← citeshttps://doi.org/10.1002/9780470522622.ch10openalex-snapshot

Co‐Algebraic Semantic Framework for Reasoning about Interaction Designs

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

Swinging UML How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving

inferred← citeshttps://doi.org/10.1007/3-540-44659-1_20openalex-snapshot

Total-Correctness Refinement for Sequential Reactive Systems

inferred← citeshttps://doi.org/10.1007/3-540-47797-7_7openalex-snapshot

Exercises in Coalgebraic Specification

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

Invariants, bisimulations and the correctness of coalgebraic refinements

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

Reasoning about classes in object-oriented languages: Logical models and tools

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

Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language

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

Coalgebraic Description of Generalized Binary Methods

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

A Single Complete Relational Rule for Coalgebraic Refinement

inferred← citeshttps://doi.org/10.1016/j.scico.2004.05.010openalex-snapshot

Abstract Behavior Types: a foundation model for components and their composition

inferred← citeshttps://doi.org/10.1016/j.tcs.2005.09.072openalex-snapshot

Components as coalgebras: The refinement dimension

inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00056-6openalex-snapshot

Universal coalgebra: a theory of systems

inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00171-7openalex-snapshot

Swinging types=functions+relations+transition systems

inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00333-4openalex-snapshot

Observational proofs by rewriting

inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00213-3openalex-snapshot

Object-oriented hybrid systems of coalgebras plus monoid actions

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

Bisimulation and Hidden Algebra

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

Coalgebraic description of generalised binary methods

inferred← citeshttps://doi.org/10.5555/1765175.1765192openalex-snapshot

Swinging UML: how to make class diagrams and state machines amenable to constraint solving and proving

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.