On the public citation graph
Fully abstract models for a process language with refinement
0 signed · 45 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-17945-3_13openalex-snapshot
Petri net models for algebraic theories of concurrency
inferredcites →https://doi.org/10.1007/bf01379149openalex-snapshot
Modeling concurrency with partial orders
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/bfb0027048openalex-snapshot
Petri nets: Basic notions, structure, behaviour
inferredcites →https://doi.org/10.1016/0304-3975(88)90096-5openalex-snapshot
Concurrency and atomicity
inferredcites →https://doi.org/10.1137/0217063openalex-snapshot
Axiomatising Finite Concurrent Processes
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.1997.2634openalex-snapshot
The Difference between Splitting innandn+1
inferred← citeshttps://doi.org/10.1007/3-540-36384-x_21openalex-snapshot
Action Refinement from a Logical Point of View
inferred← citeshttps://doi.org/10.1007/3-540-51486-4_83openalex-snapshot
Pomset semantics for true concurrency with synchronization and recursion
inferred← citeshttps://doi.org/10.1007/3-540-52559-9_68openalex-snapshot
Refinement of actions in causality based models
inferred← citeshttps://doi.org/10.1007/3-540-53863-1_19openalex-snapshot
A survey of behaviour and equivalence preserving refinements of petri nets
inferred← citeshttps://doi.org/10.1007/3-540-53982-4_1openalex-snapshot
Full abstraction for series-parallel pomsets
inferred← citeshttps://doi.org/10.1007/3-540-54233-7_158openalex-snapshot
Deciding history preserving bisimilarity
inferred← citeshttps://doi.org/10.1007/3-540-54345-7_55openalex-snapshot
Atomic refinement in process description languages
inferred← citeshttps://doi.org/10.1007/3-540-54430-5_96openalex-snapshot
Action systems and action refinement in the development of parallel systems
inferred← citeshttps://doi.org/10.1007/3-540-54967-6_63openalex-snapshot
Failures semantics for a simple process language with refinement
inferred← citeshttps://doi.org/10.1007/3-540-55610-9_169openalex-snapshot
Interleaving semantics and action refinement with atomic choice
inferred← citeshttps://doi.org/10.1007/3-540-55610-9_176openalex-snapshot
Partial words versus processes: A short comparison
inferred← citeshttps://doi.org/10.1007/3-540-56596-5_32openalex-snapshot
A categorical view of process refinement
inferred← citeshttps://doi.org/10.1007/3-540-57529-4_68openalex-snapshot
Order structures and generalisations of Szpilrajn's theorem
inferred← citeshttps://doi.org/10.1007/3-540-57887-0_106openalex-snapshot
On syntactic and semantic action refinement
inferred← citeshttps://doi.org/10.1007/978-1-4471-3229-5_16openalex-snapshot
Syntactic Action Refinement in Presence of Multiway Synchronization
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_47openalex-snapshot
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
inferred← citeshttps://doi.org/10.1007/978-3-540-78769-3_14openalex-snapshot
Action Refinement in Process Algebra and Security Issues
inferred← citeshttps://doi.org/10.1007/bf01214621openalex-snapshot
Progress assumption in concurrent systems
inferred← citeshttps://doi.org/10.1007/bf01798961openalex-snapshot
Failures semantics based on interval semiwords is a congruence for refinement
inferred← citeshttps://doi.org/10.1007/bfb0013019openalex-snapshot
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
inferred← citeshttps://doi.org/10.1007/bfb0020808openalex-snapshot
Bisimulation and action refinement
inferred← citeshttps://doi.org/10.1007/bfb0029990openalex-snapshot
Dependency-based action refinement
inferred← citeshttps://doi.org/10.1007/bfb0030640openalex-snapshot
Action refinement as an implementation relation
inferred← citeshttps://doi.org/10.1007/bfb0084780openalex-snapshot
Testing equivalence for Petri Nets with action refinement: Preliminary report
inferred← citeshttps://doi.org/10.1007/s002360000041openalex-snapshot
Refinement of actions and equivalence notions for concurrent systems
inferred← citeshttps://doi.org/10.1007/s002360050090openalex-snapshot
Fundamentals of modelling concurrency using discrete relational structures
inferred← citeshttps://doi.org/10.1007/s002360100070openalex-snapshot
Process algebra with action dependencies
inferred← citeshttps://doi.org/10.1016/0304-3975(93)90238-oopenalex-snapshot
Structure of concurrency
inferred← citeshttps://doi.org/10.1016/0304-3975(94)90168-6openalex-snapshot
A semantic characterisation for faults in replicated systems
inferred← citeshttps://doi.org/10.1016/j.ic.2010.04.002openalex-snapshot
On hierarchically developing reactive systems
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80038-6openalex-snapshot
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
inferred← citeshttps://doi.org/10.1305/ndjfl/1040046090openalex-snapshot
Algebra and Theory of Order-Deterministic Pomsets
inferred← citeshttps://doi.org/10.14236/ewic/rw1996.5openalex-snapshot
On Using Syntactic Action Refinement to Derive Compositionally a Timed Efficient Implementation
inferred← citeshttps://doi.org/10.4204/eptcs.347.1openalex-snapshot
Processes, Systems and Tests: Defining Contextual Equivalences
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.