On the public citation graph

A state-based approach to communicating processes

0 signed · 103 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-10235-3openalex-snapshot

A Calculus of Communicating Systems

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

An improved failures model for communicating processes

inferredcites →https://doi.org/10.1007/3-540-16442-1_14openalex-snapshot

Data refinement refined resume

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

Lectures on a Calculus for Communicating Systems

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

Specification-oriented semantics for Communicating Processes

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

Concurrency and automata on infinite sequences

inferredcites →https://doi.org/10.1016/0010-4485(80)90015-9openalex-snapshot

Construction programs

inferredcites →https://doi.org/10.1016/0011-684x(85)90108-xopenalex-snapshot

Communicating sequential processes

inferredcites →https://doi.org/10.1016/0011-684x(86)90240-6openalex-snapshot

Systematic software development using VDM

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

A Theory of Communicating Sequential Processes

What points at this work

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

inferred← citeshttps://doi.org/10.1007/0-306-47003-9_21openalex-snapshot

Patterns and Rules for Behavioural Subtyping

inferred← citeshttps://doi.org/10.1007/11415787_3openalex-snapshot

Non-atomic Refinement in Z and CSP

inferred← citeshttps://doi.org/10.1007/11415787_4openalex-snapshot

Process Refinement in B

inferred← citeshttps://doi.org/10.1007/11423348_12openalex-snapshot

Of Probabilistic wp and CSP—and Compositionality

inferred← citeshttps://doi.org/10.1007/11784180_11openalex-snapshot

Model Transformations Incorporating Multiple Views

inferred← citeshttps://doi.org/10.1007/11786160_5openalex-snapshot

Refinement and Consistency in Component Models with Multiple Views

inferred← citeshttps://doi.org/10.1007/3-540-36103-0_60openalex-snapshot

Introducing Reference Semantics via Refinement

inferred← citeshttps://doi.org/10.1007/3-540-36126-x_22openalex-snapshot

Input/Output Compatibility of Reactive Systems

inferred← citeshttps://doi.org/10.1007/3-540-36498-6_3openalex-snapshot

Recent Advances in Refinement

inferred← citeshttps://doi.org/10.1007/3-540-44880-2_19openalex-snapshot

Timed CSP and Object-Z

inferred← citeshttps://doi.org/10.1007/3-540-44929-9_39openalex-snapshot

A Single Complete Refinement Rule for Demonic Specifications

inferred← citeshttps://doi.org/10.1007/3-540-47884-1_13openalex-snapshot

Refinement in Object-Z and CSP

inferred← citeshttps://doi.org/10.1007/3-540-52513-0_18openalex-snapshot

Refinement of state-based concurrent systems

inferred← citeshttps://doi.org/10.1007/3-540-52559-9_70openalex-snapshot

Various simulations and refinements

inferred← citeshttps://doi.org/10.1007/3-540-53932-8_56openalex-snapshot

A hierarchical approach to hardware design

inferred← citeshttps://doi.org/10.1007/3-540-54152-7_59openalex-snapshot

Acceptance Automata: A framework for specifying and verifying TCSP parallel systems

inferred← citeshttps://doi.org/10.1007/3-540-54430-5_99openalex-snapshot

Simulations between specifications of distributed systems

inferred← citeshttps://doi.org/10.1007/3-540-60271-2_143openalex-snapshot

Select Z Bibliography

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

A semantic integration of object-Z and CSP for the specification of concurrent systems

inferred← citeshttps://doi.org/10.1007/978-0-387-35261-9_29openalex-snapshot

CSP-OZ: A Combination of Object-Z and CSP

inferred← citeshttps://doi.org/10.1007/978-0-387-35271-8_31openalex-snapshot

Combining CSP and Object-Z: Finite or Infinite Trace Semantics?

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

A Junction Between State Based and Behavioural Specification

inferred← citeshttps://doi.org/10.1007/978-1-4419-9359-5_7openalex-snapshot

Translation Validation of High-Level Synthesis

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

Specifying component and context specification using Promotion

inferred← citeshttps://doi.org/10.1007/978-1-4471-3540-1_23openalex-snapshot

Selected Z Bibliography

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

The Ecology of Class Refinement

inferred← citeshttps://doi.org/10.1007/978-1-4471-3877-8_15openalex-snapshot

A Message Passing System. An example of combining CSP and Z

inferred← citeshttps://doi.org/10.1007/978-1-4471-5355-9_19openalex-snapshot

Refining CSP and Object-Z Specifications

inferred← citeshttps://doi.org/10.1007/978-1-4471-5355-9_3openalex-snapshot

Data Refinement and Simulations

inferred← citeshttps://doi.org/10.1007/978-1-4612-4476-9_37openalex-snapshot

Of wp and CSP

inferred← citeshttps://doi.org/10.1007/978-3-319-92711-4_10openalex-snapshot

Relating Data Refinement and Failures-Divergences Refinement

inferred← citeshttps://doi.org/10.1007/978-3-319-92711-4_4openalex-snapshot

A Relational View of Refinement

inferred← citeshttps://doi.org/10.1007/978-3-319-92711-4_9openalex-snapshot

Relational Concurrent Refinement

inferred← citeshttps://doi.org/10.1007/978-3-540-39958-2_16openalex-snapshot

Checking Consistency in UML Diagrams: Classes and State Machines

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

How to Combine Z with a Process Algebra

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

Network Topology and a Case Study in TCOZ

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

Select Z Bibliography

inferred← citeshttps://doi.org/10.1007/978-3-540-70545-1_44openalex-snapshot

Validating High-Level Synthesis

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-662-25209-3_32openalex-snapshot

Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems

inferred← citeshttps://doi.org/10.1007/978-981-15-2914-6_51openalex-snapshot

A Model-Based Quantitative Analysis Methodology for Automatic Train Operation System via Conformance Relation

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

Event refinement in state-based concurrent systems

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

Action systems, unbounded nondeterminism, and infinite traces

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

From agent theory to agent construction: A case study

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

Forward and backward simulations for timing-based systems

inferred← citeshttps://doi.org/10.1007/s00165-003-0002-9openalex-snapshot

Structural Refinement of Systems Specified in Object-Z and CSP

inferred← citeshttps://doi.org/10.1007/s00165-003-0006-5openalex-snapshot

A Refinement Strategy for Circus

inferred← citeshttps://doi.org/10.1007/s00165-003-0007-4openalex-snapshot

Relational Concurrent Refinement

inferred← citeshttps://doi.org/10.1007/s00165-004-0037-6openalex-snapshot

Performance analysis of probabilistic action systems

inferred← citeshttps://doi.org/10.1007/s00165-005-0081-xopenalex-snapshot

A singleton failures semantics for Communicating Sequential Processes

inferred← citeshttps://doi.org/10.1007/s00165-006-0002-7openalex-snapshot

Verifying data refinements using a model checker

inferred← citeshttps://doi.org/10.1007/s00165-007-0053-4openalex-snapshot

Model checking action system refinements

inferred← citeshttps://doi.org/10.1007/s00165-007-0066-zopenalex-snapshot

Relational concurrent refinement part II: Internal operations and outputs

inferred← citeshttps://doi.org/10.1007/s00165-012-0239-2openalex-snapshot

External and internal choice with event groups in Event-B

inferred← citeshttps://doi.org/10.1007/s00165-012-0262-3openalex-snapshot

Relational concurrent refinement part III: traces, partial relations and automata

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

Data Abstraction Techniques in the Validation of CSP-OZ Specifications

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

An Overview of the Integrated Formalism RT-Z

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

Combining Component Specifications in Object-Z and CSP

inferred← citeshttps://doi.org/10.1007/s00236-007-0042-3openalex-snapshot

On using data abstractions for model checking refinements

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

Proving refinement using transduction

inferred← citeshttps://doi.org/10.1016/0167-6423(96)81173-7openalex-snapshot

Stepwise refinement of communicating systems

inferred← citeshttps://doi.org/10.1016/0950-5849(95)99367-vopenalex-snapshot

Annotated Z bibliography

inferred← citeshttps://doi.org/10.1016/j.csi.2011.10.015openalex-snapshot

From ODP viewpoint consistency to Integrated Formal Methods

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

Model Checking Downward Simulations

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

Relational Concurrent Refinement with Internal Operations

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

Using Model Checking to Automatically Find Retrieve Relations

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

Of wlp and CSP

inferred← citeshttps://doi.org/10.1016/j.ic.2010.04.002openalex-snapshot

On hierarchically developing reactive systems

inferred← citeshttps://doi.org/10.1016/j.scico.2009.09.006openalex-snapshot

Simulation refinement for concurrency verification

inferred← citeshttps://doi.org/10.1016/j.scico.2009.11.004openalex-snapshot

Model transformations across views

inferred← citeshttps://doi.org/10.1016/j.scico.2010.07.003openalex-snapshot

Incompleteness of relational simulations in the blocking paradigm

inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00169-9openalex-snapshot

Refinement and state machine abstraction

inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80488-8openalex-snapshot

Unifying Concurrent and Relational Refinement

inferred← citeshttps://doi.org/10.1016/s1571-0661(05)82563-0openalex-snapshot

A comparison of refinement orderings and their associated simulation rules

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

Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP

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

Formalization of protocol engineering concepts

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

Timed Communicating Object Z

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

Automated state-based analysis of distributed systems

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

Automatic abstractions of real-time specifications

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

Automated refinement checking of concurrent systems

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

Refinement and verification of concurrent systems specified in Object-Z and CSP

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

Formal Design of a Slow-Down Component for Almost Synchronous Streams

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

Blending Object-Z and Timed CSP: an introduction to TCOZ

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

Refinement in integrated specifications of CSP-OZ

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

Translation Validation of High-Level Synthesis

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

Refinement patterns for ASTD

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

Software Specification

inferred← citeshttps://doi.org/10.1201/b18794-4openalex-snapshot

Components of the Domestically Oriented Intelligence Enterprise

inferred← citeshttps://doi.org/10.14236/ewic/fa1997.16openalex-snapshot

Relaxing Property Preservation in the Refinement of Concurrent Systems

inferred← citeshttps://doi.org/10.3233/fi-1995-2434openalex-snapshot

RATIONAL PROCESSES AND LINEAR SYSTEMS IN GSP

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

Building a refinement checker for Z

inferred← citeshttps://doi.org/10.4230/dagsemproc.04101.13openalex-snapshot

Refinement and Consistency in Multiview Models

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

Automated refinement checking of concurrent systems

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.