On the public citation graph
An approach to the design of distributed systems with B AMN
0 signed · 66 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-52513-0_18openalex-snapshot
Refinement of state-based concurrent systems
inferredcites →https://doi.org/10.1007/3-540-60117-1_8openalex-snapshot
Exploring summation and product operators in the refinement calculus
inferredcites →https://doi.org/10.1007/3-540-60973-3_82openalex-snapshot
Refining action systems within B-Tool
inferredcites →https://doi.org/10.1007/978-3-642-82921-5_4openalex-snapshot
Notes on Communicating Sequential Systems
inferredcites →https://doi.org/10.1016/0167-6423(90)90069-popenalex-snapshot
Stepwise refinement of parallel algorithms
inferredcites →https://doi.org/10.1016/0167-6423(96)81173-7openalex-snapshot
Stepwise refinement of communicating systems
inferredcites →https://doi.org/10.1016/0304-3975(85)90088-xopenalex-snapshot
Algebra of communicating processes with abstraction
inferredcites →https://doi.org/10.1145/800221.806716openalex-snapshot
Decentralization of process nets with centralized control
inferredcites →https://doi.org/10.14236/ewic/rw1996.8openalex-snapshot
Development of Concurrent Systems in B AMN
inferredcites →https://doi.org/10.5860/choice.34-3906openalex-snapshot
The B-book: assigning programs to meanings
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11576280_24openalex-snapshot
Automatic Refinement Checking for B
inferred← citeshttps://doi.org/10.1007/11916246_18openalex-snapshot
Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B
inferred← citeshttps://doi.org/10.1007/3-540-44525-0_23openalex-snapshot
An Execution Architecture for GSL
inferred← citeshttps://doi.org/10.1007/3-540-45648-1_24openalex-snapshot
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study
inferred← citeshttps://doi.org/10.1007/3-540-45648-1_25openalex-snapshot
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions
inferred← citeshttps://doi.org/10.1007/3-540-45648-1_7openalex-snapshot
Extraction of Abstraction Invariants for Data Refinement
inferred← citeshttps://doi.org/10.1007/3-540-48119-2_28openalex-snapshot
csp2B: A Practical Approach to Combining CSP and B
inferred← citeshttps://doi.org/10.1007/978-0-387-35520-7_13openalex-snapshot
Refinement of Objects and Operations in Object-Z
inferred← citeshttps://doi.org/10.1007/978-1-4471-0851-1_9openalex-snapshot
The Refinement of Event Calculus Models
inferred← citeshttps://doi.org/10.1007/978-3-031-17244-1_19openalex-snapshot
Trace Refinement in B and Event-B
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-92711-4_7openalex-snapshot
State-Based Languages: Z and B
inferred← citeshttps://doi.org/10.1007/978-3-319-98938-9_22openalex-snapshot
Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions
inferred← citeshttps://doi.org/10.1007/978-3-540-49676-2_3openalex-snapshot
The Specification and Refinement of an Environmental Model
inferred← citeshttps://doi.org/10.1007/978-3-540-87603-8_17openalex-snapshot
The Composition of Event-B Models
inferred← citeshttps://doi.org/10.1007/978-3-642-00255-7_13openalex-snapshot
Modelling Divergence in Relational Concurrent Refinement
inferred← citeshttps://doi.org/10.1007/978-3-642-00867-2_8openalex-snapshot
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B
inferred← citeshttps://doi.org/10.1007/978-3-642-03547-0_59openalex-snapshot
Verification of Liveness Properties in Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_24openalex-snapshot
Supporting Reuse of Event-B Developments through Generic Instantiation
inferred← citeshttps://doi.org/10.1007/978-3-642-25032-3_4openalex-snapshot
B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design
inferred← citeshttps://doi.org/10.1007/978-3-642-25271-6_7openalex-snapshot
Shared Event Composition/Decomposition in Event-B
inferred← citeshttps://doi.org/10.1007/978-3-642-35130-3_18openalex-snapshot
Verification of Money Atomicity in Digital Cash Based Payment System
inferred← citeshttps://doi.org/10.1007/978-981-13-6351-1_18openalex-snapshot
Formal Verification of Causal Order-Based Load Distribution Mechanism Using Event-B
inferred← citeshttps://doi.org/10.1007/978-981-16-3346-1_48openalex-snapshot
Formal Modelling of Cluster-Coordinator-Based Load Balancing Protocol Using Event-B
inferred← citeshttps://doi.org/10.1007/bfb0027292openalex-snapshot
Specifying reactive systems in B AMN
inferred← citeshttps://doi.org/10.1007/bfb0053364openalex-snapshot
Abstract state machines: Designing distributed systems with state machines and B
inferred← citeshttps://doi.org/10.1007/bfb0053365openalex-snapshot
Layering distributed algorithms within the B-method
inferred← citeshttps://doi.org/10.1007/s00165-012-0266-zopenalex-snapshot
Introducing extra operations in refinement
inferred← citeshttps://doi.org/10.1007/s001650050007openalex-snapshot
Specifying and Refining Internal Operations in Z
inferred← citeshttps://doi.org/10.1007/s10009-007-0063-9openalex-snapshot
ProB: an automated analysis toolset for the B method
inferred← citeshttps://doi.org/10.1016/j.entcs.2011.11.020openalex-snapshot
Towards the Composition of Specifications in Event-B
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80059-3openalex-snapshot
Refinement-Preserving Plug-In Components
inferred← citeshttps://doi.org/10.1023/a:1008688421367openalex-snapshot
Reasoning about Action Systems using the B-Method
inferred← citeshttps://doi.org/10.1023/a:1016503426126openalex-snapshot
A System-Based Approach to the Formal Development of Embedded Controllers for a Railway
inferred← citeshttps://doi.org/10.1109/apsec.2014.62openalex-snapshot
Formal Design and Verification of Zone Controller
inferred← citeshttps://doi.org/10.1109/ase.1999.802333openalex-snapshot
Component-based systems as an aid to design validation
inferred← citeshttps://doi.org/10.1109/cmpsac.2002.1045030openalex-snapshot
A graphically based language for constructing, executing and analysing models of software systems
inferred← citeshttps://doi.org/10.4204/eptcs.55.10openalex-snapshot
Perspicuity and Granularity in Refinement
inferred← citeshttps://doi.org/10.5121/csit.2013.3653openalex-snapshot
Modeling of Distributed Mutual Exclusion System Using 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.