On the public citation graph

Ideal specification formalism = expressivity + compositionality + decidability + testability + ...

https://doi.org/10.1007/bfb0039050
0 signed · 52 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-18088-5_11openalex-snapshot
Verifying a protocol using relativized bisimulation
inferredcites →https://doi.org/10.1007/3-540-51237-3_14openalex-snapshot
The use of static constructs in a model process logic
inferredcites →https://doi.org/10.1007/3-540-52148-8_19openalex-snapshot
Modal specifications
inferredcites →https://doi.org/10.1007/3-540-52559-9_76openalex-snapshot
Compositional theories based on an operational semantics of contexts
inferredcites →https://doi.org/10.1007/3-540-52590-4_40openalex-snapshot
Graphical versus logical specifications
inferredcites →https://doi.org/10.1007/978-3-642-82921-5_4openalex-snapshot
Notes on Communicating Sequential Systems
inferredcites →https://doi.org/10.1007/bfb0015727openalex-snapshot
Linear and branching structures in the semantics and logics of reactive systems
inferredcites →https://doi.org/10.1007/bfb0017309openalex-snapshot
Concurrency and automata on infinite sequences
inferredcites →https://doi.org/10.1007/bfb0032056openalex-snapshot
Compositionality through an operational semantics of contexts
inferredcites →https://doi.org/10.1007/bfb0035774openalex-snapshot
Structured operational semantics and bisimulation as a congruence
inferredcites →https://doi.org/10.1007/bfb0039056openalex-snapshot
Testing equivalences and fully abstract models for probabilistic processes
inferredcites →https://doi.org/10.1007/bfb0039071openalex-snapshot
Equivalences, congruences, and complete axiomatizations for probabilistic processes
inferredcites →https://doi.org/10.1016/0304-3975(83)90114-7openalex-snapshot
Calculi for synchrony and asynchrony
inferredcites →https://doi.org/10.1016/0304-3975(85)90088-xopenalex-snapshot
Algebra of communicating processes with abstraction
inferredcites →https://doi.org/10.1016/0304-3975(85)90093-3openalex-snapshot
Higher-level synchronising devices in Meije-SCCS
inferredcites →https://doi.org/10.1016/0304-3975(87)90007-7openalex-snapshot
A context dependent equivalence between processes
inferredcites →https://doi.org/10.1016/0304-3975(92)90276-lopenalex-snapshot
Graphical versus logical specifications
inferredcites →https://doi.org/10.1016/0890-5401(91)90030-6openalex-snapshot
Bisimulation through probabilistic testing
inferredcites →https://doi.org/10.1109/lics.1988.5119openalex-snapshot
A modal process logic
inferredcites →https://doi.org/10.1109/lics.1990.113738openalex-snapshot
Equation solving using modal transition systems
inferredcites →https://doi.org/10.1109/lics.1990.113740openalex-snapshot
Reactive, generative, and stratified models of probabilistic processes
inferredcites →https://doi.org/10.1145/2455.2460openalex-snapshot
Algebraic laws for nondeterminism and concurrency
inferredcites →https://doi.org/10.1145/357980.358021openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/359576.359585openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/73560.73580openalex-snapshot
Bisimulation can't be traced
inferredcites →https://doi.org/10.1145/75277.75307openalex-snapshot
Bisimulation through probabilistic testing (preliminary report)

What points at this work

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

inferred← citeshttps://doi.org/10.1007/11539452_41openalex-snapshot
Taming Interface Specifications
inferred← citeshttps://doi.org/10.1007/11609773_15openalex-snapshot
Monitoring Off-the-Shelf Components
inferred← citeshttps://doi.org/10.1007/3-540-49253-4_19openalex-snapshot
Consistency of Partial Process Specifications
inferred← citeshttps://doi.org/10.1007/3-540-54233-7_135openalex-snapshot
The expressive power of implicit specifications
inferred← citeshttps://doi.org/10.1007/3-540-55179-4_24openalex-snapshot
From data structure to process structure
inferred← citeshttps://doi.org/10.1007/3-540-60915-6_5openalex-snapshot
Modal and temporal logics for processes
inferred← citeshttps://doi.org/10.1007/978-0-387-35271-8_11openalex-snapshot
Disjunction of LOTOS specifications
inferred← citeshttps://doi.org/10.1007/978-3-030-61362-4_14openalex-snapshot
Behavioral Specification Theories: An Algebraic Taxonomy
inferred← citeshttps://doi.org/10.1007/978-3-030-83723-5_16openalex-snapshot
Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees
inferred← citeshttps://doi.org/10.1007/978-3-319-10882-7_11openalex-snapshot
Structural Refinement for the Modal nu-Calculus
inferred← citeshttps://doi.org/10.1007/978-3-319-51963-0_5openalex-snapshot
A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories
inferred← citeshttps://doi.org/10.1007/978-3-319-63121-9_3openalex-snapshot
30 Years of Modal Transition Systems: Survey of Extensions and Analysis
inferred← citeshttps://doi.org/10.1007/978-3-319-63121-9_7openalex-snapshot
Property-Preserving Parallel Decomposition
inferred← citeshttps://doi.org/10.1007/978-3-540-49020-3_11openalex-snapshot
On the Evolution of Reactive Components
inferred← citeshttps://doi.org/10.1007/978-3-540-78163-9_25openalex-snapshot
Monitoring Temporal Properties of Stochastic Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-93900-9_12openalex-snapshot
Monitoring the Full Range of ω-Regular Properties of Stochastic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-40184-8_7openalex-snapshot
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
inferred← citeshttps://doi.org/10.1007/bfb0084809openalex-snapshot
Compositional verification of probabilistic processes
inferred← citeshttps://doi.org/10.1016/0304-3975(93)90155-mopenalex-snapshot
The expressive power of implicit specifications
inferred← citeshttps://doi.org/10.1016/j.ic.2019.104487openalex-snapshot
Logical vs. behavioural specifications
inferred← citeshttps://doi.org/10.1016/j.jlamp.2019.100499openalex-snapshot
A linear-time–branching-time spectrum for behavioral specification theories
inferred← citeshttps://doi.org/10.1016/j.tcs.2014.03.007openalex-snapshot
Complete proof systems for weighted modal logic
inferred← citeshttps://doi.org/10.1109/iscas.1991.176493openalex-snapshot
Net system morphisms and observability in system design
inferred← citeshttps://doi.org/10.3233/fi-1997-29302openalex-snapshot
HOW TO INTERPRET AND ESTABLISH CONSISTENCY RESULTS FOR SEMANTICS OF CONCURRENT PROGRAMMING LANGUAGES
inferred← citeshttps://doi.org/10.3990/1.9789090056432openalex-snapshot
A formal approach to conformance testing
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.