On the public citation graph

Some equivalence notions for concurrent systems. An overview

https://doi.org/10.1007/bfb0016222
0 signed · 71 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.1002/sres.3850020405openalex-snapshot
Giving back some freedom to the system designer
inferredcites →https://doi.org/10.1007/3-540-100016openalex-snapshot
Net Theory and Applications
inferredcites →https://doi.org/10.1007/3-540-10003-2_79openalex-snapshot
On observing nondeterminism and concurrency
inferredcites →https://doi.org/10.1007/3-540-10235-3openalex-snapshot
A Calculus of Communicating Systems
inferredcites →https://doi.org/10.1007/3-540-11494-7_5openalex-snapshot
An enlarged definition and complete axiomatization of observational congruence of finite processes
inferredcites →https://doi.org/10.1007/3-540-12896-4_356openalex-snapshot
A semantics and proof system for communicating processes
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-15204-0_11openalex-snapshot
Csp-programs as nets with individual tokens
inferredcites →https://doi.org/10.1007/978-3-642-68353-4_20openalex-snapshot
An Equivalence-Notion For Condition/Event-Systems
inferredcites →https://doi.org/10.1007/978-3-642-68353-4_22openalex-snapshot
Behaviour of a Place-Transition Net on a Subset of Transitions
inferredcites →https://doi.org/10.1007/978-3-642-68353-4_41openalex-snapshot
Use of the Behaviour Equivalence in Place-Transition Net Analysis
inferredcites →https://doi.org/10.1007/978-3-642-69028-0_16openalex-snapshot
Petri Nets With Individual Tokens
inferredcites →https://doi.org/10.1007/978-3-642-69028-0_17openalex-snapshot
Subset Languages of Petri Nets
inferredcites →https://doi.org/10.1007/978-3-642-69028-0_19openalex-snapshot
On the Notion of Interface in Condition/Event-Systems
inferredcites →https://doi.org/10.1007/978-3-642-69028-0_20openalex-snapshot
Behavioral Equivalence of Concurrent Systems
inferredcites →https://doi.org/10.1007/978-3-642-69028-0_3openalex-snapshot
Equivalence Notions for Concurrent Systems
inferredcites →https://doi.org/10.1007/978-3-642-69028-0_4openalex-snapshot
Milner’s Communicating Systems and Petri Nets
inferredcites →https://doi.org/10.1007/bfb0036899openalex-snapshot
On the relationship of CCS and CSP
inferredcites →https://doi.org/10.1007/bfb0036905openalex-snapshot
On the observational semantics of fair parallelism
inferredcites →https://doi.org/10.1016/0304-3975(81)90049-9openalex-snapshot
Coloured petri nets and the invariant-method
inferredcites →https://doi.org/10.1016/0304-3975(81)90113-4openalex-snapshot
System modelling with high-level Petri nets
inferredcites →https://doi.org/10.1016/s0019-9958(83)80029-1openalex-snapshot
Synchronous and asynchronous experiments on processes
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/828.833openalex-snapshot
A Theory of Communicating Sequential Processes
inferredcites →https://doi.org/10.7146/dpb.v13i180.7455openalex-snapshot
Degrees of Non-determinism and Concurrency: A Petri Net View
inferredcites →https://doi.org/10.7146/dpb.v6i78.7691openalex-snapshot
Concurrent Program Schemes and their Interpretations

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-17906-2_34openalex-snapshot
TCSP: Theory of communicating sequential processes
inferred← citeshttps://doi.org/10.1007/3-540-18086-9_27openalex-snapshot
Operational Petri net semantics for CCSP
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-50403-6_42openalex-snapshot
A state transformation equivalence for concurrent systems: Exhibited functionality-equivalence
inferred← citeshttps://doi.org/10.1007/3-540-50580-6_23openalex-snapshot
On internal and external characterisations of PT-net building block behaviour
inferred← citeshttps://doi.org/10.1007/3-540-51486-4_71openalex-snapshot
Equivalence notions for concurrent systems and refinement of actions
inferred← citeshttps://doi.org/10.1007/3-540-52282-4_51openalex-snapshot
Failures semantics based on interval semiwords is a congruence for refinement
inferred← citeshttps://doi.org/10.1007/3-540-52494-0_29openalex-snapshot
Petri net tool overview 1989
inferred← citeshttps://doi.org/10.1007/3-540-52559-9_82openalex-snapshot
Refinement of concurrent systems based on local state transformations
inferred← citeshttps://doi.org/10.1007/3-540-53479-2_13openalex-snapshot
Equivalences and refinement
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-53863-1_33openalex-snapshot
A state transformation preorder over a class of EN systems
inferred← citeshttps://doi.org/10.1007/3-540-53863-1_34openalex-snapshot
Composition of nets via a communication medium
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-55610-9_170openalex-snapshot
Maximality preservation and the ST-idea for action refinements
inferred← citeshttps://doi.org/10.1007/3-540-56689-9_37openalex-snapshot
Replacement of open interface subnets and stable state transformation equivalence
inferred← citeshttps://doi.org/10.1007/3-540-56689-9_54openalex-snapshot
Compositional state space generation
inferred← citeshttps://doi.org/10.1007/3-540-57208-2_22openalex-snapshot
Non interleaving process algebra
inferred← citeshttps://doi.org/10.1007/3-540-63045-7_38openalex-snapshot
Back-forth equivalences for design of concurrent systems
inferred← citeshttps://doi.org/10.1007/978-3-030-21571-2_2openalex-snapshot
Modal Open Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-031-73709-1_5openalex-snapshot
An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
inferred← citeshttps://doi.org/10.1007/978-3-540-30206-3_17openalex-snapshot
The Influence of Durational Actions on Time Equivalences
inferred← citeshttps://doi.org/10.1007/978-3-642-72822-8_26openalex-snapshot
Observing Net Behaviour
inferred← citeshttps://doi.org/10.1007/978-3-642-79361-5_2openalex-snapshot
Concurrent Processes and Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-84524-6_23openalex-snapshot
Use of Reentrant Nets in Modular Analysis of Colored Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-84524-6_6openalex-snapshot
OBJSA Nets: A Class of High-level Nets Having Objects as Domains
inferred← citeshttps://doi.org/10.1007/978-3-662-25209-3_33openalex-snapshot
Models for dynamically placed concurrent processes
inferred← citeshttps://doi.org/10.1007/bf01178506openalex-snapshot
Concurrent bisimulations in Petri nets
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/bf03180565openalex-snapshot
An algebraic characterisation of elementary net system (observable) state space
inferred← citeshttps://doi.org/10.1007/bfb0013035openalex-snapshot
Strong bisimilarity on nets: A new concept for comparing net semantics
inferred← citeshttps://doi.org/10.1007/bfb0017129openalex-snapshot
On models and algebras for concurrent processes
inferred← citeshttps://doi.org/10.1007/bfb0019969openalex-snapshot
Use of reentrant nets in modular analysis of colored nets
inferred← citeshttps://doi.org/10.1007/bfb0046845openalex-snapshot
Transformations and decompositions of nets
inferred← citeshttps://doi.org/10.1007/s00236-015-0218-1openalex-snapshot
Observable liveness of Petri nets
inferred← citeshttps://doi.org/10.1017/s0960129511000429openalex-snapshot
A hierarchy of reverse bisimulations on stable configuration structures
inferred← citeshttps://doi.org/10.1017/s0960129513000510openalex-snapshot
Event Identifier Logic
inferred← citeshttps://doi.org/10.1109/32.922714openalex-snapshot
Reduction methods for real-time systems using Delay Time Petri Nets
inferred← citeshttps://doi.org/10.1109/5.24143openalex-snapshot
Petri nets: Properties, analysis and applications
inferred← citeshttps://doi.org/10.1109/hase.1997.648062openalex-snapshot
Efficient compositional state-space verification for communicating processes in distributed systems
inferred← citeshttps://doi.org/10.1109/iceccs.2000.873937openalex-snapshot
Definitions of equivalence for transformational synthesis of embedded systems
inferred← citeshttps://doi.org/10.4204/eptcs.18.5openalex-snapshot
Reverse Bisimulations on Stable Configuration Structures
inferred← citeshttps://doi.org/10.4204/eptcs.300.6openalex-snapshot
Conflict vs Causality in Event Structures
inferred← citeshttps://doi.org/10.4204/eptcs.64.8openalex-snapshot
A Logic with Reverse Modalities for History-preserving Bisimulations
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.