On the public citation graph

Trace refinement of action systems

https://doi.org/10.1007/bfb0015020
0 signed · 54 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 points at this work

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

inferred← citeshttps://doi.org/10.1002/spe.1039openalex-snapshot
Experience with fault injection experiments for FMEA
inferred← citeshttps://doi.org/10.1007/11589976_9openalex-snapshot
An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees
inferred← citeshttps://doi.org/10.1007/11783596_19openalex-snapshot
Continuous Action System Refinement
inferred← citeshttps://doi.org/10.1007/11901433_21openalex-snapshot
Reasoning Algebraically About Probabilistic Loops
inferred← citeshttps://doi.org/10.1007/3-540-44525-0_18openalex-snapshot
Retrenchment, Refinement, and Simulation
inferred← citeshttps://doi.org/10.1007/3-540-44798-9_15openalex-snapshot
Formal Pipeline Design
inferred← citeshttps://doi.org/10.1007/3-540-48119-2_25openalex-snapshot
Compositional Symmetric Sharing in B
inferred← citeshttps://doi.org/10.1007/978-1-4020-2867-0_16openalex-snapshot
UML-B Specification and Hardware Implementation of a Hamming Coder/Decoder
inferred← citeshttps://doi.org/10.1007/978-1-4471-5355-9_11openalex-snapshot
Weak Refinement
inferred← citeshttps://doi.org/10.1007/978-1-4471-5355-9_16openalex-snapshot
Refinement in Object-Z
inferred← citeshttps://doi.org/10.1007/978-3-319-10882-7_18openalex-snapshot
Symbolic Analysis Tools for CSP
inferred← citeshttps://doi.org/10.1007/978-3-319-10882-7_9openalex-snapshot
Refinement of Structured Interactive Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-39656-7_17openalex-snapshot
Concurrent Object-Oriented Programs: From Specification to Code
inferred← citeshttps://doi.org/10.1007/978-3-540-39893-6_15openalex-snapshot
Incremental Derivation of Abstraction Relations for Data Refinement
inferred← citeshttps://doi.org/10.1007/978-3-540-73210-5_23openalex-snapshot
A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-75292-9_6openalex-snapshot
Stepwise Development of Simulink Models Using the Refinement Calculus Framework
inferred← citeshttps://doi.org/10.1007/978-3-540-78913-0_23openalex-snapshot
Reactive Probabilistic Programs and Refinement Algebra
inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_11openalex-snapshot
Qualitative Action Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-13321-3_12openalex-snapshot
Unifying Theories of Programming That Distinguish Nontermination and Abort
inferred← citeshttps://doi.org/10.1007/978-3-642-13321-3_9openalex-snapshot
Compositional Action System Derivation Using Enforced Properties
inferred← citeshttps://doi.org/10.1007/978-3-642-31113-0_7openalex-snapshot
Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
inferred← citeshttps://doi.org/10.1007/978-3-662-43652-3_6openalex-snapshot
MAZE: An Extension of Object-Z for Multi-Agent Systems
inferred← citeshttps://doi.org/10.1007/pl00003935openalex-snapshot
Data Refinement of Remote Procedures
inferred← citeshttps://doi.org/10.1007/s00165-007-0053-4openalex-snapshot
Model checking action system refinements
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/s11334-011-0171-2openalex-snapshot
Software engineering as the design theoretic transformation of software problems
inferred← citeshttps://doi.org/10.1007/s11704-012-2901-5openalex-snapshot
rCOS: a formal model-driven engineering method for component-based software
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.08.044openalex-snapshot
Derivation of a Scalable Lock-Free Stack Algorithm
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.08.046openalex-snapshot
Time Aware System Refinement
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.02.016openalex-snapshot
Trace-based Derivation of a Lock-Free Queue Algorithm
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.02.022openalex-snapshot
Power Aware System Refinement
inferred← citeshttps://doi.org/10.1109/acsd.2006.3openalex-snapshot
Communicating with Synchronized Environments
inferred← citeshttps://doi.org/10.1109/apsec.2002.1182983openalex-snapshot
Animation of data refinements
inferred← citeshttps://doi.org/10.1109/asic.2000.880763openalex-snapshot
Formal representation of gated clock designs
inferred← citeshttps://doi.org/10.1109/aswec.2009.12openalex-snapshot
Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation
inferred← citeshttps://doi.org/10.1109/cmpsac.2004.1342842openalex-snapshot
Modular design of reactive systems
inferred← citeshttps://doi.org/10.1109/compsac.2005.149openalex-snapshot
Synchronized Architectures for Adaptive Systems
inferred← citeshttps://doi.org/10.1109/ecbs.2005.40openalex-snapshot
Formal Development of Real-Time Priority-Based Schedulers
inferred← citeshttps://doi.org/10.1109/etfa.2011.6059147openalex-snapshot
An approach to refinement checking of SysML requirements
inferred← citeshttps://doi.org/10.1109/hase.2007.44openalex-snapshot
Arguing safety with Problem Oriented Software Engineering
inferred← citeshttps://doi.org/10.1109/icis.2015.7166636openalex-snapshot
Formal specification and reasoning for situated multi-agent system
inferred← citeshttps://doi.org/10.1109/icvd.2000.812670openalex-snapshot
Design of synchronous action systems
inferred← citeshttps://doi.org/10.1109/ipdps.2002.1016622openalex-snapshot
Composition and refinement for partial object specifications
inferred← citeshttps://doi.org/10.1109/norchp.2004.1423881openalex-snapshot
Formal timing model for hardware components
inferred← citeshttps://doi.org/10.1109/qsic.2010.53openalex-snapshot
Automated Conformance Verification of Hybrid Systems
inferred← citeshttps://doi.org/10.1109/sefm.2006.2openalex-snapshot
A Formal Model of Context-Awareness and Context-Dependency
inferred← citeshttps://doi.org/10.1109/sefm.2007.29openalex-snapshot
Problem Oriented Software Engineering: A design-theoretic framework for software engineering
inferred← citeshttps://doi.org/10.1109/sew.2012.19openalex-snapshot
Incremental Development of Multi-agent Systems in Object-Z
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/tase.2014.11openalex-snapshot
A Formal Development Approach for Self-Organising Systems
inferred← citeshttps://doi.org/10.1109/tse.2007.70769openalex-snapshot
Problem Oriented Software Engineering: Solving the Package Router Control Problem
inferred← citeshttps://doi.org/10.1145/1479772.1479789openalex-snapshot
Towards reasoning about teleo-reactive programs for robust real-time systems
inferred← citeshttps://doi.org/10.1201/b20053-23openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.4204/eptcs.115.2openalex-snapshot
Data refinement for true concurrency
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.