On the public citation graph

Merging behavior specifications

https://doi.org/10.1007/bf01384500
0 signed · 28 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-15670-4_14openalex-snapshot
An improved failures model for communicating processes
inferredcites →https://doi.org/10.1007/bf00264365openalex-snapshot
Extensional equivalences for transition systems
inferredcites →https://doi.org/10.1007/bf01211314openalex-snapshot
Testing equivalence as a bisimulation equivalence
inferredcites →https://doi.org/10.1016/0304-3975(84)90113-0openalex-snapshot
Testing equivalences for processes
inferredcites →https://doi.org/10.1016/0378-4754(81)90068-9openalex-snapshot
Introduction to automata theory, languages and computation
inferredcites →https://doi.org/10.1016/b978-0-444-89402-1.50037-0openalex-snapshot
Inheritance in LOTOS
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/12.88459openalex-snapshot
Constructing protocols with alternative functions
inferredcites →https://doi.org/10.1145/360248.360251openalex-snapshot
Formal verification of parallel programs
inferredcites →https://doi.org/10.1145/4221.4249openalex-snapshot
Acceptance trees

What points at this work

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

inferred← citeshttps://doi.org/10.1007/11951148_5openalex-snapshot
Automating Scenario Merging
inferred← citeshttps://doi.org/10.1007/978-3-540-87875-9_26openalex-snapshot
Implementation of the Conformance Relation for Incremental Development of Behavioural Models
inferred← citeshttps://doi.org/10.1007/978-3-642-25264-8_10openalex-snapshot
Towards a Model Based Approach for Integration Testing
inferred← citeshttps://doi.org/10.1007/bfb0027801openalex-snapshot
A dynamic evolution for the specifications of distributed systems
inferred← citeshttps://doi.org/10.1016/b978-044482816-3/50014-9openalex-snapshot
Deriving an SDL Specification with a Given Architecture from a Set of MSCs
inferred← citeshttps://doi.org/10.1016/bs.adcom.2018.01.001openalex-snapshot
Model-Based Test Cases Reuse and Optimization
inferred← citeshttps://doi.org/10.1016/j.jss.2015.11.020openalex-snapshot
IDF: A framework for the incremental development and conformance verification of UML active primitive components
inferred← citeshttps://doi.org/10.1016/s1389-1286(00)00114-6openalex-snapshot
Viewpoint consistency in ODP
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80739-4openalex-snapshot
Composition of Structured Process Specifications
inferred← citeshttps://doi.org/10.1049/iet-sen:20060078openalex-snapshot
Merging partial system behaviours: composition of use-case automata
inferred← citeshttps://doi.org/10.1109/acsd.2008.4574600openalex-snapshot
Modular construction of the symbolic observation graph
inferred← citeshttps://doi.org/10.1109/apsec.1996.566760openalex-snapshot
A dynamic extension for the specifications of distributed systems
inferred← citeshttps://doi.org/10.1109/icnp.1995.524814openalex-snapshot
Verification and diagnosis of testing equivalence and reduction relation
inferred← citeshttps://doi.org/10.1109/icoin.1998.648355openalex-snapshot
A flexible approach for extension of communication protocols
inferred← citeshttps://doi.org/10.1142/s0218194016400118openalex-snapshot
An Algorithm for Forward Reduction in Sequence-Based Software Specification
inferred← citeshttps://doi.org/10.1145/2491509.2491521openalex-snapshot
Use case and task models
inferred← citeshttps://doi.org/10.20381/ruor-11472openalex-snapshot
Formalization of timethreads using LOTOS.
inferred← citeshttps://doi.org/10.2298/csis111216033dopenalex-snapshot
Using aspect-oriented state machines for detecting and resolving feature interactions
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.