On the public citation graph

Superposition refinement of reactive systems

https://doi.org/10.1007/bf01214918
0 signed · 105 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-52559-9_60openalex-snapshot
Refinement calculus, part I: Sequential nondeterministic programs
inferredcites →https://doi.org/10.1007/3-540-52559-9_61openalex-snapshot
Refinement calculus, part II: Parallel and reactive programs
inferredcites →https://doi.org/10.1007/978-1-4613-9668-0_6openalex-snapshot
Parallel Program Design
inferredcites →https://doi.org/10.1007/bf00291051openalex-snapshot
A calculus of refinements for program derivations
inferredcites →https://doi.org/10.1007/bfb0039063openalex-snapshot
Superimposition for interacting processes
inferredcites →https://doi.org/10.1016/0167-6423(87)90011-6openalex-snapshot
A theoretical basis for stepwise refinement and the programming calculus
inferredcites →https://doi.org/10.1016/0167-6423(90)90069-popenalex-snapshot
Stepwise refinement of parallel algorithms
inferredcites →https://doi.org/10.1016/b978-0-444-89402-1.50044-8openalex-snapshot
Superposition Refinement of Parallel Algorithms
inferredcites →https://doi.org/10.1109/tse.1987.233514openalex-snapshot
A Methodology for Developing Distributed Programs
inferredcites →https://doi.org/10.1145/169701.169682openalex-snapshot
A superimposition control construct for distributed systems
inferredcites →https://doi.org/10.1145/359642.359655openalex-snapshot
On-the-fly garbage collection
inferredcites →https://doi.org/10.1145/44501.44503openalex-snapshot
The specification statement
inferredcites →https://doi.org/10.1145/73560.73581openalex-snapshot
A compositional approach to superimposition
inferredcites →https://doi.org/10.1145/75199.75205openalex-snapshot
Action system approach to the specification and design of distributed systems
inferredcites →https://doi.org/10.1145/75200.75205openalex-snapshot
Action system approach to the specification and design of distributed systems
inferredcites →https://doi.org/10.1145/800221.806716openalex-snapshot
Decentralization of process nets with centralized control

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.1904openalex-snapshot
Ensuring the Correctness and Reliability of CBPS System Using Event‐B
inferred← citeshttps://doi.org/10.1007/1-4020-3532-2_1openalex-snapshot
Incremental Software Construction with Refinement Diagrams
inferred← citeshttps://doi.org/10.1007/11415787_27openalex-snapshot
Some Guidelines for Formal Development of Web-Based Applications in B-Method
inferred← citeshttps://doi.org/10.1007/11751113_2openalex-snapshot
Using Stepwise Feature Introduction in Practice: An Experience Report
inferred← citeshttps://doi.org/10.1007/11784180_1openalex-snapshot
Incremental Software Construction with Refinement Diagrams
inferred← citeshttps://doi.org/10.1007/11901433_35openalex-snapshot
A Language for Modeling Network Availability
inferred← citeshttps://doi.org/10.1007/11916246_12openalex-snapshot
Rigorous Fault Tolerance Using Aspects and Formal Methods
inferred← citeshttps://doi.org/10.1007/11916246_14openalex-snapshot
Formal Service-Oriented Development of Fault Tolerant Communicating Systems
inferred← citeshttps://doi.org/10.1007/3-540-36103-0_1openalex-snapshot
SFI: A Refinement Based Layered Software Architecture
inferred← citeshttps://doi.org/10.1007/3-540-40911-4_10openalex-snapshot
Developing Control Systems Components
inferred← citeshttps://doi.org/10.1007/3-540-44525-0_18openalex-snapshot
Retrenchment, Refinement, and Simulation
inferred← citeshttps://doi.org/10.1007/3-540-45648-1_9openalex-snapshot
Software Construction by Stepwise Feature Introduction
inferred← citeshttps://doi.org/10.1007/3-540-60973-3_82openalex-snapshot
Refining action systems within B-Tool
inferred← citeshttps://doi.org/10.1007/978-3-030-30942-8_11openalex-snapshot
A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-43725-1_9openalex-snapshot
Verification-Led Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-319-00948-3_2openalex-snapshot
On Formalising Policy Refinement in Grid Virtual Organisations
inferred← citeshttps://doi.org/10.1007/978-3-319-06200-6_6openalex-snapshot
On Proving Recoverability of Smart Electrical Grids
inferred← citeshttps://doi.org/10.1007/978-3-319-17404-4_7openalex-snapshot
Using Alloy in Introductory Courses of Formal Methods
inferred← citeshttps://doi.org/10.1007/978-3-319-64119-5_8openalex-snapshot
Invariant Management in the Presence of Failures
inferred← citeshttps://doi.org/10.1007/978-3-319-66854-3_13openalex-snapshot
Use of Tabular Expressions for Refinement Automation
inferred← citeshttps://doi.org/10.1007/978-3-319-92711-4_5openalex-snapshot
Perspicuity, Divergence, and Internal Operations
inferred← citeshttps://doi.org/10.1007/978-3-319-99229-7_13openalex-snapshot
Towards (Semi-)Automated Synthesis of Runtime Safety Models: A Safety-Oriented Design Approach for Service Architectures of Cooperative Autonomous Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-45236-2_44openalex-snapshot
Structuring Retrenchments in B by Decomposition
inferred← citeshttps://doi.org/10.1007/978-3-540-75292-9_11openalex-snapshot
A Framework for Incorporating Trust into Formal Systems Development
inferred← citeshttps://doi.org/10.1007/978-3-642-11811-1_14openalex-snapshot
Supporting Reuse in Event B Development: Modularisation Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-15651-9_10openalex-snapshot
Verifying Mode Consistency for On-Board Satellite Software
inferred← citeshttps://doi.org/10.1007/978-3-642-15898-8_4openalex-snapshot
Developing Mode-Rich Satellite Software by Refinement in Event B
inferred← citeshttps://doi.org/10.1007/978-3-642-17071-3_4openalex-snapshot
Patterns for Refinement Automation
inferred← citeshttps://doi.org/10.1007/978-3-642-24559-6_29openalex-snapshot
Formal Derivation of a Distributed Program in Event B
inferred← citeshttps://doi.org/10.1007/978-3-642-24559-6_30openalex-snapshot
From Requirements to Development: Methodology and Example
inferred← citeshttps://doi.org/10.1007/978-3-642-29320-7_16openalex-snapshot
Refinement-Based Modeling of 3D NoCs
inferred← citeshttps://doi.org/10.1007/978-3-642-33170-1_2openalex-snapshot
Integrated Project DEPLOY
inferred← citeshttps://doi.org/10.1007/978-981-15-5054-6_15openalex-snapshot
Constructing Rigorous Sketches for Refinement-Based Formal Development: An Application to Android
inferred← citeshttps://doi.org/10.1007/978-981-95-4213-0_14openalex-snapshot
Modeling and Verifying Concurrent Reactive Systems Using Separation Logic
inferred← citeshttps://doi.org/10.1007/bfb0053365openalex-snapshot
Layering distributed algorithms within the B-method
inferred← citeshttps://doi.org/10.1007/s00165-003-0021-6openalex-snapshot
Superposition: composition vs refinement of non-deterministic, action-based systems
inferred← citeshttps://doi.org/10.1007/s00165-009-0139-2openalex-snapshot
Retrenchment for Event-B: UseCase-wise development and Rodin integration
inferred← citeshttps://doi.org/10.1007/s00165-010-0150-7openalex-snapshot
Verification of distributed systems with local–global predicates
inferred← citeshttps://doi.org/10.1007/s00165-013-0292-5openalex-snapshot
Kaisa Sere: In Memoriam
inferred← citeshttps://doi.org/10.1007/s00236-008-0073-4openalex-snapshot
Algebraic reasoning for probabilistic action systems and while-loops
inferred← citeshttps://doi.org/10.1007/s00500-024-09902-wopenalex-snapshot
Service to service communication based on CBPS system: refinement and verification
inferred← citeshttps://doi.org/10.1007/s00766-002-0157-6openalex-snapshot
Retrenching partial requirements into system definitions: a simple feature interaction case study
inferred← citeshttps://doi.org/10.1007/s10586-025-05127-0openalex-snapshot
Formal service conflict detection through abstraction and refinement
inferred← citeshttps://doi.org/10.1016/b978-0-12-800887-4.00012-2openalex-snapshot
Towards correct and reusable Network-on-Chip architectures
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.02.022openalex-snapshot
Power Aware System Refinement
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.06.009openalex-snapshot
Refinement for Pipelining in Event-B
inferred← citeshttps://doi.org/10.1016/j.jlap.2010.12.001openalex-snapshot
Simple feature engineering via neat default retrenchments
inferred← citeshttps://doi.org/10.1016/j.jss.2020.110598openalex-snapshot
A refinement checking based strategy for component-based systems evolution
inferred← citeshttps://doi.org/10.1016/j.scico.2004.05.018openalex-snapshot
Asynchronous system synthesis
inferred← citeshttps://doi.org/10.1016/j.scico.2007.04.002openalex-snapshot
Engineering and theoretical underpinnings of retrenchment
inferred← citeshttps://doi.org/10.1016/j.scico.2012.04.010openalex-snapshot
Developing mode-rich satellite software by refinement in Event-B
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)82562-9openalex-snapshot
Superposition
inferred← citeshttps://doi.org/10.1023/a:1008688421367openalex-snapshot
Reasoning about Action Systems using the B-Method
inferred← citeshttps://doi.org/10.1038/s41598-022-05308-6openalex-snapshot
Scalable reaction network modeling with automatic validation of consistency in Event-B
inferred← citeshttps://doi.org/10.1049/ip-sen:20040080openalex-snapshot
Semantics-directed implementation of method-call interception
inferred← citeshttps://doi.org/10.1093/comjnl/46.5.529openalex-snapshot
Superimpositions and Aspect-oriented Programming
inferred← citeshttps://doi.org/10.1109/apsec.2002.1182983openalex-snapshot
Animation of data refinements
inferred← citeshttps://doi.org/10.1109/aswec.2001.948518openalex-snapshot
Visualisation of refinements
inferred← citeshttps://doi.org/10.1109/dsd.2011.86openalex-snapshot
Formal Modeling of Multicast Communication in 3D NoCs
inferred← citeshttps://doi.org/10.1109/dsd.2013.20openalex-snapshot
Generation of Structural VHDL Code with Library Components from Formal Event-B Models
inferred← citeshttps://doi.org/10.1109/ecbs.2008.43openalex-snapshot
Energy-Aware Middleware
inferred← citeshttps://doi.org/10.1109/nesea.2011.6144950openalex-snapshot
CorreComm: A formal hierarchical framework for communication designs
inferred← citeshttps://doi.org/10.1109/pdcat.2007.49openalex-snapshot
Monitoring Employees' Emails without Violating Their Privacy Right
inferred← citeshttps://doi.org/10.1109/pdcat.2007.63openalex-snapshot
Implementation Issues Concerning the Action Systems Formalism
inferred← citeshttps://doi.org/10.1109/sefm.2007.14openalex-snapshot
Feature Refinement
inferred← citeshttps://doi.org/10.1109/snpd.2013.67openalex-snapshot
Introducing Agents in Multi-agent System with Superposition Refinement
inferred← citeshttps://doi.org/10.1109/ssiri.2010.7openalex-snapshot
Modelling and Implementing Complex Systems with Timebands
inferred← citeshttps://doi.org/10.1109/tdsc.2017.2672983openalex-snapshot
Refinement-Based Specification and Security Analysis of Separation Kernels
inferred← citeshttps://doi.org/10.1109/tdsc.2025.3594594openalex-snapshot
Tacco: A Framework for Ensuring the Security of Real-World TEEs via Formal Verification
inferred← citeshttps://doi.org/10.1145/1363686.1363869openalex-snapshot
An approach for specification construction using property-preserving refinement patterns
inferred← citeshttps://doi.org/10.1145/508386.508391openalex-snapshot
A calculus of superimpositions for distributed systems
inferred← citeshttps://doi.org/10.1155/2013/457837openalex-snapshot
Formal Development of System of Systems
inferred← citeshttps://doi.org/10.1201/b11421-10openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1201/b20053-23openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.18452/14640openalex-snapshot
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
inferred← citeshttps://doi.org/10.18452/15643openalex-snapshot
Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen
inferred← citeshttps://doi.org/10.18452/2477openalex-snapshot
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
inferred← citeshttps://doi.org/10.4018/978-1-4666-0882-5.ch8.2openalex-snapshot
Towards Sustainable Development of Energy-Aware Systems
inferred← citeshttps://doi.org/10.4018/978-1-4666-0882-5.ch802openalex-snapshot
Towards Sustainable Development of Energy-Aware Systems
inferred← citeshttps://doi.org/10.4018/978-1-4666-0912-9.ch003openalex-snapshot
Towards Sustainable Development of Energy-Aware Systems
inferred← citeshttps://doi.org/10.4018/978-1-4666-0912-9.ch012openalex-snapshot
Modeling Communication in Multi–Processor Systems–on–Chip Using Modular Connectors
inferred← citeshttps://doi.org/10.4018/978-1-4666-0912-9.ch016openalex-snapshot
Service-Oriented Development of Fault Tolerant Communicating Systems
inferred← citeshttps://doi.org/10.4018/978-1-60960-747-0.ch003openalex-snapshot
Network Availability for Distributed Applications
inferred← citeshttps://doi.org/10.4018/978-1-61520-655-1.ch027openalex-snapshot
Location-Awareness with Action Systems
inferred← citeshttps://doi.org/10.4018/jertcs.2010040102openalex-snapshot
Modeling Communication in Multi–Processor Systems–on–Chip Using Modular Connectors
inferred← citeshttps://doi.org/10.4018/jertcs.2010040103openalex-snapshot
Towards Sustainable Development of Energy-Aware Systems
inferred← citeshttps://doi.org/10.4018/jertcs.2010040104openalex-snapshot
Service-Oriented Development of Fault Tolerant Communicating Systems
inferred← citeshttps://doi.org/10.48550/arxiv.2105.10344openalex-snapshot
Towards Scalable Modeling of Biology in Event-B
inferred← citeshttps://doi.org/10.70675/94bdd33bz1a7ez4f46zad7bz6c26f43aa446openalex-snapshot
Décomposition formelle des spécifications centralisées Event-B : application aux systèmes distribués BIP
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.