On the public citation graph

csp2B: A Practical Approach to Combining CSP and B

https://doi.org/10.1007/pl00003930
0 signed · 67 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-52513-0_18openalex-snapshot
Refinement of state-based concurrent systems
inferredcites →https://doi.org/10.1007/978-0-387-35261-9_29openalex-snapshot
CSP-OZ: A Combination of Object-Z and CSP
inferredcites →https://doi.org/10.1016/0011-684x(85)90108-xopenalex-snapshot
Communicating sequential processes
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(90)90076-popenalex-snapshot
Communication and concurrency
inferredcites →https://doi.org/10.1016/0167-6423(96)81173-7openalex-snapshot
Stepwise refinement of communicating systems
inferredcites →https://doi.org/10.1017/cbo9780511624162openalex-snapshot
The B-Book
inferredcites →https://doi.org/10.1145/177492.177726openalex-snapshot
The temporal logic of actions

What points at this work

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

inferred← citeshttps://doi.org/10.1007/11423348_12openalex-snapshot
Of Probabilistic wp and CSP—and Compositionality
inferred← citeshttps://doi.org/10.1007/11526841_16openalex-snapshot
Combining CSP and B for Specification and Property Verification
inferred← citeshttps://doi.org/10.1007/11547686_14openalex-snapshot
Extensible Canonical Process Model Synthesis Applying Formal Interpretation
inferred← citeshttps://doi.org/10.1007/11589976_13openalex-snapshot
Synthesizing B Specifications from eb 3 Attribute Definitions
inferred← citeshttps://doi.org/10.1007/11589976_7openalex-snapshot
Chunks: Component Verification in CSP ∥ B
inferred← citeshttps://doi.org/10.1007/11596042_126openalex-snapshot
Towards Formal Specification and Generation of Autonomic Policies
inferred← citeshttps://doi.org/10.1007/11768173_6openalex-snapshot
Constructing Property-Oriented Models for Verification
inferred← citeshttps://doi.org/10.1007/11955757_7openalex-snapshot
Justifications for the Event-B Modelling Notation
inferred← citeshttps://doi.org/10.1007/3-540-44880-2_25openalex-snapshot
Proving Event Ordering Properties for Information Systems
inferred← citeshttps://doi.org/10.1007/3-540-44880-2_28openalex-snapshot
Using B Refinement to Analyse Compensating Business Processes
inferred← citeshttps://doi.org/10.1007/3-540-45648-1_23openalex-snapshot
Synchronized Parallel Composition of Event Systems in B
inferred← citeshttps://doi.org/10.1007/978-1-4020-8052-4_8openalex-snapshot
How to Compute the Refinement Relation for Parameterized Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-5260-6_3openalex-snapshot
The Modelling Framework: Event-B
inferred← citeshttps://doi.org/10.1007/978-3-319-12466-7_7openalex-snapshot
Reasoning About Resources in the Embedded Systems Language Hume
inferred← citeshttps://doi.org/10.1007/978-3-540-24756-2_6openalex-snapshot
Verifying Controlled Components
inferred← citeshttps://doi.org/10.1007/978-3-540-45236-2_20openalex-snapshot
Refinement and Verification of Synchronized Component-Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-45236-2_46openalex-snapshot
ProB: A Model Checker for B
inferred← citeshttps://doi.org/10.1007/978-3-540-73210-5_29openalex-snapshot
Translating FSP into LOTOS and Networks of Automata
inferred← citeshttps://doi.org/10.1007/978-3-540-74107-7_3openalex-snapshot
The event-B Modelling Method: Concepts and Case Studies
inferred← citeshttps://doi.org/10.1007/978-3-540-74964-6_4openalex-snapshot
Understanding Programming Language Concepts Via Operational Semantics
inferred← citeshttps://doi.org/10.1007/978-3-540-88194-0_18openalex-snapshot
Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool
inferred← citeshttps://doi.org/10.1007/978-3-642-05089-3_29openalex-snapshot
The Denotational Semantics of slotted-Circus
inferred← citeshttps://doi.org/10.1007/978-3-642-11811-1_23openalex-snapshot
Reactivising Classical B
inferred← citeshttps://doi.org/10.1007/978-3-642-16265-7_18openalex-snapshot
Systematic Translation Rules from astd to Event-B
inferred← citeshttps://doi.org/10.1007/978-3-642-16265-7_19openalex-snapshot
A CSP Approach to Control in Event-B
inferred← citeshttps://doi.org/10.1007/978-3-642-16265-7_7openalex-snapshot
Creating Sequential Programs from Event-B Models
inferred← citeshttps://doi.org/10.1007/978-3-642-19811-3_5openalex-snapshot
Automatic Flow Analysis for Event-B
inferred← citeshttps://doi.org/10.1007/978-3-642-20398-5_24openalex-snapshot
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
inferred← citeshttps://doi.org/10.1007/978-3-642-27705-4_20openalex-snapshot
Isabelle/Circus: A Process Specification and Verification Environment
inferred← citeshttps://doi.org/10.1007/978-3-642-33826-7_6openalex-snapshot
A Systematic Approach to Atomicity Decomposition in Event-B
inferred← citeshttps://doi.org/10.1007/s00165-005-0076-7openalex-snapshot
CSP theorems for communicating B machines
inferred← citeshttps://doi.org/10.1007/s00165-007-0032-9openalex-snapshot
Responsiveness and stable revivals
inferred← citeshttps://doi.org/10.1007/s00165-009-0133-8openalex-snapshot
Translating FSP into LOTOS and networks of automata
inferred← citeshttps://doi.org/10.1007/s00165-012-0260-5openalex-snapshot
Derivation of concurrent programs by stepwise scheduling of Event-B models
inferred← citeshttps://doi.org/10.1007/s00165-012-0265-0openalex-snapshot
The behavioural semantics of Event-B refinement
inferred← citeshttps://doi.org/10.1007/s00165-014-0311-1openalex-snapshot
Language and tool support for event refinement structures in Event-B
inferred← citeshttps://doi.org/10.1007/s001650200025openalex-snapshot
On the Use of Data Refinement in the Development of Secure Communications Systems
inferred← citeshttps://doi.org/10.1007/s00236-011-0133-zopenalex-snapshot
Testing for refinement in Circus
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.1007/s10270-005-0083-4openalex-snapshot
State-based versus event-based specifications for information systems: a comparison of B and eb3
inferred← citeshttps://doi.org/10.1007/s10270-005-0084-3openalex-snapshot
Investigating a file transfer protocol using CSP and B
inferred← citeshttps://doi.org/10.1007/s10270-013-0342-8openalex-snapshot
Formal synthesis of application and platform behaviors of embedded software systems
inferred← citeshttps://doi.org/10.1016/j.scico.2009.02.002openalex-snapshot
Efficient symbolic computation of process expressions
inferred← citeshttps://doi.org/10.1016/j.scico.2010.08.001openalex-snapshot
Changing system interfaces consistently: A new refinement strategy for CSP∥B
inferred← citeshttps://doi.org/10.1109/ecbs.2008.16openalex-snapshot
Protocol Verification in a Software Component-Based Approach
inferred← citeshttps://doi.org/10.1109/iceccs.2005.76openalex-snapshot
Sequencing operations and creating objects
inferred← citeshttps://doi.org/10.1109/iceccs.2006.1690360openalex-snapshot
Communicating complex systems
inferred← citeshttps://doi.org/10.1109/iceccs2018.2018.00023openalex-snapshot
Extended Algebraic State-Transition Diagrams
inferred← citeshttps://doi.org/10.1109/idt.2008.4802519openalex-snapshot
A composition-based approach for the development of automated embedded systems
inferred← citeshttps://doi.org/10.1109/memcod.2003.1210095openalex-snapshot
How to compute the refinement relation for parameterized systems
inferred← citeshttps://doi.org/10.1109/tsmca.2010.2093885openalex-snapshot
A Component-Based Approach for the Development of Automated Systems
inferred← citeshttps://doi.org/10.1145/1013963.1013970openalex-snapshot
Model checking object petri nets in prolog
inferred← citeshttps://doi.org/10.1145/1921532.1921562openalex-snapshot
Generating composite behavior of embedded software components based on UML behavioral model and process algebra
inferred← citeshttps://doi.org/10.1155/2018/8765186openalex-snapshot
A LTS Approach to Control in Event-B
inferred← citeshttps://doi.org/10.12700/aph.11.06.2014.06.12openalex-snapshot
Petri Nets to B-Language Transformation in Software Development
inferred← citeshttps://doi.org/10.4204/eptcs.55.11openalex-snapshot
Concurrent Scheduling of Event-B Models
inferred← citeshttps://doi.org/10.70675/1d57b39bz22e0z472ezbfb9z1bf72a60b2c3openalex-snapshot
Formal modeling of intrusion detection systems
inferred← citeshttps://doi.org/10.70675/b6ad77e2z7541z4428za014zc858b7ba8de0openalex-snapshot
Combinaison de méthodes formelles pour la spécification de systèmes industriels
inferred← citeshttps://doi.org/10.70675/bed94494z17b0z47a6zaa1ez92abfefa6110openalex-snapshot
Un processus formel d'intégration de politiques de contrôle d'accès dans les systèmes d'information
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.