On the public citation graph
Testing equivalence for Petri Nets with action refinement: Preliminary report
0 signed · 25 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-15670-4_14openalex-snapshot
An improved failures model for communicating processes
inferredcites →https://doi.org/10.1007/3-540-17945-3_13openalex-snapshot
Petri net models for algebraic theories of concurrency
inferredcites →https://doi.org/10.1007/3-540-52559-9_68openalex-snapshot
Refinement of actions in causality based models
inferredcites →https://doi.org/10.1007/3-540-54233-7_159openalex-snapshot
Adding action refinement to a finite process algebra
inferredcites →https://doi.org/10.1007/bf00276021openalex-snapshot
Failures semantics and deadlocking of modular Petri nets
inferredcites →https://doi.org/10.1007/bf01798961openalex-snapshot
Failures semantics based on interval semiwords is a congruence for refinement
inferredcites →https://doi.org/10.1007/bfb0013034openalex-snapshot
Fully abstract models for a process language with refinement
inferredcites →https://doi.org/10.1016/0169-7552(94)00016-mopenalex-snapshot
On communicating sequential processes
inferredcites →https://doi.org/10.1109/lics.1989.39168openalex-snapshot
Towards action-refinement in process algebras
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1006/inco.1996.0026openalex-snapshot
Comparing Syntactic and Semantic Action Refinement
inferred← citeshttps://doi.org/10.1007/3-540-56939-1_99openalex-snapshot
Deciding true concurrency equivalences on finite safe nets (preliminary report)
inferred← citeshttps://doi.org/10.1007/3-540-57887-0_106openalex-snapshot
On syntactic and semantic action refinement
inferred← citeshttps://doi.org/10.1007/3-540-60043-4_59openalex-snapshot
Causality and true concurrency: A data-flow analysis of the Pi-Calculus
inferred← citeshttps://doi.org/10.1007/978-1-4471-3078-9_20openalex-snapshot
An Event-Based SOS for a Language with Refinement
inferred← citeshttps://doi.org/10.1007/bfb0029990openalex-snapshot
Dependency-based action refinement
inferred← citeshttps://doi.org/10.1007/s002360100070openalex-snapshot
Process algebra with action dependencies
inferred← citeshttps://doi.org/10.1016/j.kijoms.2017.08.003openalex-snapshot
Thread scheduling using ant colony optimization: An intelligent scheduling approach towards minimal information leakage
inferred← citeshttps://doi.org/10.1109/lics.1993.287567openalex-snapshot
Self-synchronization of concurrent processes
inferred← citeshttps://doi.org/10.3233/fi-1999-40402openalex-snapshot
Full Abstractness of a Metric Semantics for Action Refinement
inferred← citeshttps://doi.org/10.5815/ijem.2017.01.01openalex-snapshot
Relating Interactive System Design and Information Theory from Information Leakage Perspective
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.