On the public citation graph

Temporal theories as modularisation units for concurrent system specification

0 signed · 131 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-12727-5_24openalex-snapshot

Structured theories in LCF

inferredcites →https://doi.org/10.1007/3-540-12896-4_366openalex-snapshot

Introducing institutions

inferredcites →https://doi.org/10.1007/3-540-13346-1_17openalex-snapshot

Building specifications in an arbitrary institution

inferredcites →https://doi.org/10.1007/3-540-15670-4_2openalex-snapshot

Hierarchical development of concurrent systems in a temporal logic framework

inferredcites →https://doi.org/10.1007/3-540-50325-0_3openalex-snapshot

Structuring theories on consequence

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-52559-9_67openalex-snapshot

Algebraic implementation of objects over objects

inferredcites →https://doi.org/10.1007/3-540-56379-2_43openalex-snapshot

Process semantics of temporal logic specification

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-0346-0145-0_26openalex-snapshot

Introducing Institutions

inferredcites →https://doi.org/10.1007/978-3-642-69962-7openalex-snapshot

Fundamentals of Algebraic Specification 1

inferredcites →https://doi.org/10.1007/978-3-642-82921-5_4openalex-snapshot

Notes on Communicating Sequential Systems

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

Describing, structuring and implementing objects

inferredcites →https://doi.org/10.1016/0890-5401(88)90008-9openalex-snapshot

Specifications in an arbitrary institution

inferredcites →https://doi.org/10.1016/c2009-0-22107-6openalex-snapshot

A Mathematical Introduction to Logic

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

A categorical manifesto

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

Logics of Modal Terms for Systems Specification

inferredcites →https://doi.org/10.1109/mc.1986.1663146openalex-snapshot

Reusing and Interconnecting Software Components

inferredcites →https://doi.org/10.1109/sfcs.1977.32openalex-snapshot

The temporal logic of programs

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

A technique for software module specification with examples

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

Specifying Concurrent Program Modules

inferredcites →https://doi.org/10.21236/ada106750openalex-snapshot

Verification of Concurrent Programs. Part I. The Temporal Framework,

What points at this work

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

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

A theory of regression testing for behaviourally compatible object types

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

A Logical Basis for the Specification of Reconfigurable Component-Based Systems

inferred← citeshttps://doi.org/10.1007/3-540-45499-3_36openalex-snapshot

Extended Institutions for Testing

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-46581-2_9openalex-snapshot

Towards a Proof-Theoretic Foundation for Actor Specification and Verification

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

Integrating Semantics for Object—Oriented System Models

inferred← citeshttps://doi.org/10.1007/3-540-49253-4_3openalex-snapshot

Systematising Reactive System Design

inferred← citeshttps://doi.org/10.1007/3-540-49253-4_9openalex-snapshot

A Logic for Real-Time Systems Specification Its Algebraic Semantics and Equational Calculus

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-57867-6_9openalex-snapshot

On certification of specifications for TROLL light objects

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-60973-3_96openalex-snapshot

Using a logical and categorical approach for the validation of fault-tolerant systems

inferred← citeshttps://doi.org/10.1007/3-540-61629-2_38openalex-snapshot

Unifying theories in different institutions

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

Parameterizing object specifications

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

Specification of required non-determinism

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

A framework for modular formal specification and verification

inferred← citeshttps://doi.org/10.1007/3-540-64299-4_35openalex-snapshot

Specifying with defaults: Compositional semantics

inferred← citeshttps://doi.org/10.1007/978-0-387-35264-0_10openalex-snapshot

Synthesising Interconnections

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

Towards a Compositional Interpretation of Object Diagrams

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

A Logic for the Specification of Multi-Object Systems

inferred← citeshttps://doi.org/10.1007/978-0-387-35563-4_14openalex-snapshot

A Framework for Describing Software Architectures for Reuse

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-0851-1_14openalex-snapshot

A compositional comparison of specifications of the alternating bit protocol in CCS and UNITY based on algebra transformation systems

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

Requirements for a Temporal B Assigning Temporal Meaning to Abstract Machines… and to Abstract Systems

inferred← citeshttps://doi.org/10.1007/978-1-4471-0997-6_18openalex-snapshot

Refinement and Safety Analysis

inferred← citeshttps://doi.org/10.1007/978-1-4471-3240-0_12openalex-snapshot

Environment-based Development of Reactive Systems

inferred← citeshttps://doi.org/10.1007/978-1-4471-3503-6_10openalex-snapshot

Generalising Interpretations Between Theories in the Context of (π-)institutions

inferred← citeshttps://doi.org/10.1007/978-1-4615-5643-5_6openalex-snapshot

Logics for Specifying Concurrent Information Systems

inferred← citeshttps://doi.org/10.1007/978-3-319-10882-7_19openalex-snapshot

A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting

inferred← citeshttps://doi.org/10.1007/978-3-319-46750-4_24openalex-snapshot

Dynamic Logic with Binders and Its Application to the Development of Reactive Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-31959-7_15openalex-snapshot

Architectural Specifications for Reactive Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-39910-0_20openalex-snapshot

Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-48480-6_9openalex-snapshot

Semantics and Transformations for UML Models

inferred← citeshttps://doi.org/10.1007/978-3-540-49676-2_18openalex-snapshot

Compositional Specification of Controllers for Batch Process Operations

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

A Tableaux System for Deontic Action Logic

inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_38openalex-snapshot

Specifying and Verifying Business Processes Using PPML

inferred← citeshttps://doi.org/10.1007/978-3-642-14808-8_21openalex-snapshot

Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting

inferred← citeshttps://doi.org/10.1007/978-3-642-14808-8_22openalex-snapshot

Characterizing Locality (Encapsulation) with Bisimulation

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

Towards a First-Order Deontic Action Logic

inferred← citeshttps://doi.org/10.1007/978-3-642-35861-6_5openalex-snapshot

A Categorical Approach to Structuring and Promoting Z Specifications

inferred← citeshttps://doi.org/10.1007/978-3-642-40948-6_24openalex-snapshot

A Deontic Action Logic for Complex Actions

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-7091-2704-9_11openalex-snapshot

Object-Oriented Design of Information Systems: Theoretical Foundations

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

Preservation and reflection in specification

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

Sometimes “Tomorrow” is “Sometime”

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

On the emergence of properties in component-based systems

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/bfb0014434openalex-snapshot

An algebraic semantics for the object specification language TROLL light

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

Specifying reactive systems in B AMN

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

Conservative extensions, interpretations between theories and all that!

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

Objects, associations and subsystems: A hierarchical approach to encapsulation

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

Verifiable and executable logic specifications of concurrent objects in $$\mathcal{L}_\pi$$

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

Algebra transformation systems and their composition

inferred← citeshttps://doi.org/10.1007/s00165-015-0336-0openalex-snapshot

Categorical foundations for structured specifications in Z

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

Composing and Refining Dense Temporal Logic Specifications

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

Compositional Comparison of Formal Software Specifications Using Transformation Systems

inferred← citeshttps://doi.org/10.1016/0167-6423(94)00017-4openalex-snapshot

Composition of assumption-commitment specifications in a UNITY style

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(96)00004-3openalex-snapshot

A temporal logic approach to object certification

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

Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems

inferred← citeshttps://doi.org/10.1016/j.jal.2009.02.001openalex-snapshot

Deontic action logic, atomic boolean algebras and fault-tolerance

inferred← citeshttps://doi.org/10.1016/j.procs.2015.05.031openalex-snapshot

Modelling Multi-agent Systems with Category Theory

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

Encapsulating deontic and branching time specifications

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

A logic for the stepwise development of reactive systems

inferred← citeshttps://doi.org/10.1016/s0020-0190(00)00038-7openalex-snapshot

A rely–guarantee discipline for open distributed systems design

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

Categorical semantics of parallel program design

inferred← citeshttps://doi.org/10.1016/s0167-6423(98)00017-3openalex-snapshot

Strategies for consistency checking based on unification

inferred← citeshttps://doi.org/10.1016/s0304-3975(96)00165-xopenalex-snapshot

Specification of abstract dynamic-data types: A temporal logic approach

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

Verification of reactive systems using temporal logic with clocks

inferred← citeshttps://doi.org/10.1016/s1474-6670(17)41394-2openalex-snapshot

A Formal Approach to Real-Time Object Oriented Software

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)80548-6openalex-snapshot

A Branching Time Logical System for Open Distributed Systems Development

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/s0960129599002765openalex-snapshot

Proof-theoretic foundations for the design of actor systems

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

A Formal Framework for Viewpoint Consistency

inferred← citeshttps://doi.org/10.1093/logcom/11.4.559openalex-snapshot

Composition of Default Specifications

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

Applying formal software synthesis

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

Interpreting the object constraint language

inferred← citeshttps://doi.org/10.1109/ase.1998.732561openalex-snapshot

Management of evolving specifications using category theory

inferred← citeshttps://doi.org/10.1109/ase.2002.1115028openalex-snapshot

A temporal logic approach to the specification of reconfigurable component-based systems

inferred← citeshttps://doi.org/10.1109/ccece.2003.1226133openalex-snapshot

Composing modules with synchronization and real-time constraints using category theory

inferred← citeshttps://doi.org/10.1109/csfw.1999.779770openalex-snapshot

Security function interactions

inferred← citeshttps://doi.org/10.1109/icdew.2011.5767625openalex-snapshot

Towards a categorical framework to ensure correct software evolutions

inferred← citeshttps://doi.org/10.1109/iwssd.1996.501146openalex-snapshot

A mathematical toolbox for the software architect

inferred← citeshttps://doi.org/10.1109/iwssd.1998.667918openalex-snapshot

V&V through inconsistency tracking and analysis

inferred← citeshttps://doi.org/10.1109/secon.2003.1268442openalex-snapshot

A reuse triplet view of UML

inferred← citeshttps://doi.org/10.1109/sefm.2004.1347522openalex-snapshot

Glass-box and black-box views on object-oriented specifications

inferred← citeshttps://doi.org/10.1109/sefm.2004.22openalex-snapshot

Glass-box and black-box views on object-oriented specifications

inferred← citeshttps://doi.org/10.1109/sefm.2007.7openalex-snapshot

An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers

inferred← citeshttps://doi.org/10.1109/tse.2002.1010059openalex-snapshot

A logical theory of interfaces and objects

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

Reuse of requirements and specifications

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

Interconnecting formalisms

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

Interconnecting formalisms

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

Reuse of requirements and specifications

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

Deriving operational software specifications from system goals

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

Deriving operational software specifications from system goals

inferred← citeshttps://doi.org/10.14236/ewic/nfm1998.1openalex-snapshot

A Formal Theory for the Views-a Relationship

inferred← citeshttps://doi.org/10.14236/ewic/nfm1998.11openalex-snapshot

Modular Semantics for Object-Oriented Models

inferred← citeshttps://doi.org/10.14236/ewic/room2000.7openalex-snapshot

An Overview of The Mensurae Language: Specifying Business Processes

inferred← citeshttps://doi.org/10.14236/ewic/rw1996.8openalex-snapshot

Development of Concurrent Systems in B AMN

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

Foundations of a Module Concept for Distributed Object Systems

inferred← citeshttps://doi.org/10.4204/eptcs.139.3openalex-snapshot

Actions and Events in Concurrent Systems Design

inferred← citeshttps://doi.org/10.4204/eptcs.93.1openalex-snapshot

Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond

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

A mathematical toolbox for the software architect

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

V&V through inconsistency tracking and analysis

inferred← citeshttps://doi.org/10.71548/14972openalex-snapshot

Modelling Fault Tolerance using Deontic Logic: a case study

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.