On the public citation graph

Strong bisimilarity on nets: A new concept for comparing net semantics

https://doi.org/10.1007/bfb0013035
0 signed · 33 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-12920-0_13openalex-snapshot
A new definition of morphism on Petri nets
inferredcites →https://doi.org/10.1007/3-540-13345-3_18openalex-snapshot
On the relationship of CCS and petri nets
inferredcites →https://doi.org/10.1007/3-540-17906-2_31openalex-snapshot
Event structures
inferredcites →https://doi.org/10.1007/3-540-17906-2_33openalex-snapshot
COSY: Its relation to nets and to CSP
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-18086-9_27openalex-snapshot
Operational Petri net semantics for CCSP
inferredcites →https://doi.org/10.1007/3-540-18419-8_13openalex-snapshot
CCS is an (augmented) contact free C/E system
inferredcites →https://doi.org/10.1007/978-3-642-69968-9openalex-snapshot
Petri Nets
inferredcites →https://doi.org/10.1007/bf00266047openalex-snapshot
COSY ? a system specification language based on paths and processes
inferredcites →https://doi.org/10.1007/bf00268075openalex-snapshot
Specification-oriented semantics for Communicating Processes
inferredcites →https://doi.org/10.1007/bf02915446openalex-snapshot
A distributed operational semantics for CCS based on condition/event systems
inferredcites →https://doi.org/10.1007/bfb0012800openalex-snapshot
Event structure semantics for CCS and related languages
inferredcites →https://doi.org/10.1007/bfb0016222openalex-snapshot
Some equivalence notions for concurrent systems. An overview
inferredcites →https://doi.org/10.1007/bfb0017157openalex-snapshot
On representing CCS programs by finite petri nets
inferredcites →https://doi.org/10.1007/bfb0017309openalex-snapshot
Concurrency and automata on infinite sequences
inferredcites →https://doi.org/10.1016/0022-0000(87)90032-8openalex-snapshot
Concurrent histories: A basis for observing distributed systems
inferredcites →https://doi.org/10.1016/0141-9331(86)90196-1openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1109/lics.1988.5112openalex-snapshot
On the consistency of 'truly concurrent' operational and denotational semantics
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/3-540-44988-4_23openalex-snapshot
Bisimulation and the Reduction of Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-51486-4_59openalex-snapshot
Correctness of concurrent processes
inferred← citeshttps://doi.org/10.1007/3-540-52559-9_80openalex-snapshot
From trace specifications to process terms
inferred← citeshttps://doi.org/10.1007/3-540-53479-2_14openalex-snapshot
CCS and petri nets
inferred← citeshttps://doi.org/10.1007/3-540-54152-7_71openalex-snapshot
Strong bisimilarity on nets revisited
inferred← citeshttps://doi.org/10.1007/3-540-55676-1_3openalex-snapshot
Place bisimulations in Petri nets
inferred← citeshttps://doi.org/10.1007/3-540-56689-9_46openalex-snapshot
Distributed implementation of CCS
inferred← citeshttps://doi.org/10.1007/978-3-642-77572-7_15openalex-snapshot
Systematic Derivation of Communicating Programs
inferred← citeshttps://doi.org/10.1007/978-3-662-25209-3_44openalex-snapshot
Strong Bisimilarity on Nets Revisited
inferred← citeshttps://doi.org/10.1016/0304-3975(91)90390-nopenalex-snapshot
Correctness of concurrent processes
inferred← citeshttps://doi.org/10.1109/ftdcs.1992.217516openalex-snapshot
Using Petri nets as a model for Petri nets
inferred← citeshttps://doi.org/10.1109/tsmca.2007.909559openalex-snapshot
Designs of Bisimilar Petri Net Controllers With Fault Tolerance Capabilities
inferred← citeshttps://doi.org/10.3233/fi-222125openalex-snapshot
Resource Bisimilarity in Petri Nets is Decidable
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.