On the public citation graph

SCONE: A simple calculus of nets

https://doi.org/10.1007/bfb0039047
0 signed · 60 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-08921-7_55openalex-snapshot
An algebra for parallelism based 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-50580-6_25openalex-snapshot
An exercise in concurrency: A CSP process as a condition/event system
inferredcites →https://doi.org/10.1007/3-540-51525-9openalex-snapshot
Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets
inferredcites →https://doi.org/10.1007/3-540-52590-4_47openalex-snapshot
Towards the unification of models for concurrency
inferredcites →https://doi.org/10.1007/978-1-4612-9839-7openalex-snapshot
Categories for the Working Mathematician
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/bfb0017157openalex-snapshot
On representing CCS programs by finite petri nets
inferredcites →https://doi.org/10.1007/bfb0018342openalex-snapshot
An algebraic view of interleaving and distributed operational semantics for CCS
inferredcites →https://doi.org/10.1007/bfb0018359openalex-snapshot
From petri nets to linear logic
inferredcites →https://doi.org/10.1016/0022-0000(84)90023-0openalex-snapshot
A complete inference system for a class of regular behaviours
inferredcites →https://doi.org/10.1016/0304-3975(87)90045-4openalex-snapshot
Linear logic
inferredcites →https://doi.org/10.1016/0304-3975(87)90090-9openalex-snapshot
Sequential and concurrent behaviour in Petri net theory
inferredcites →https://doi.org/10.1016/0304-3975(88)90001-1openalex-snapshot
Fiftieth volume of theoretical computer science
inferredcites →https://doi.org/10.1016/0304-3975(90)90035-gopenalex-snapshot
A2CCS: atomic actions for CCS
inferredcites →https://doi.org/10.1016/0890-5401(87)90032-0openalex-snapshot
Petri nets, algebras, morphisms, and compositionality
inferredcites →https://doi.org/10.1016/s0019-9958(83)80040-0openalex-snapshot
The non-sequential behaviour of Petri nets
inferredcites →https://doi.org/10.1109/lics.1988.5114openalex-snapshot
Petri nets are monoids: a new algebraic foundation for net theory
inferredcites →https://doi.org/10.1109/lics.1989.39172openalex-snapshot
Axiomatizing net computations and processes
inferredcites →https://doi.org/10.1145/321992.321997openalex-snapshot
Initial Algebra Semantics and Continuous Algebras
inferredcites →https://doi.org/10.1145/96709.96715openalex-snapshot
Implicative formulae in the proofs of computations' analogy

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-53982-4_2openalex-snapshot
On causality observed incrementally, finally
inferred← citeshttps://doi.org/10.1007/3-540-55610-9_167openalex-snapshot
The box calculus: A new causal algebra with multi-label communication
inferred← citeshttps://doi.org/10.1007/3-540-55676-1_2openalex-snapshot
Combining Petri Nets and other formal methods
inferred← citeshttps://doi.org/10.1007/3-540-56689-9_46openalex-snapshot
Distributed implementation of CCS
inferred← citeshttps://doi.org/10.1007/3-540-59450-7_4openalex-snapshot
Distributed conflicts in communicating systems
inferred← citeshttps://doi.org/10.1007/3-540-60045-0_62openalex-snapshot
On the model checking problem for branching time logics and basic parallel processes
inferred← citeshttps://doi.org/10.1007/3-540-60218-6_11openalex-snapshot
A Petri net semantics for π-calculus
inferred← citeshttps://doi.org/10.1007/3-540-60218-6_13openalex-snapshot
Characterizing behavioural congruences for Petri nets
inferred← citeshttps://doi.org/10.1007/3-540-60249-6_73openalex-snapshot
Axiomatizing Petri net concatenable processes
inferred← citeshttps://doi.org/10.1007/3-540-65306-6_23openalex-snapshot
Petri nets and other models of concurrency
inferred← citeshttps://doi.org/10.1007/3540539816_56openalex-snapshot
An extended expansion theorem
inferred← citeshttps://doi.org/10.1007/978-3-319-07734-5_11openalex-snapshot
Non-interference by Unfolding
inferred← citeshttps://doi.org/10.1007/978-3-319-15317-9_17openalex-snapshot
Intransitive Non-Interference by Unfolding
inferred← citeshttps://doi.org/10.1007/978-3-319-25527-9_17openalex-snapshot
Language Representability of Finite P/T Nets
inferred← citeshttps://doi.org/10.1007/978-3-319-25527-9_8openalex-snapshot
Asynchronous Traces and Open Petri Nets
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-642-04081-8_8openalex-snapshot
Encoding Asynchronous Interactions Using Open Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-58041-3_1openalex-snapshot
Distributed Action Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-10427-9_8openalex-snapshot
Algebraische Charakterisierungen
inferred← citeshttps://doi.org/10.1007/978-3-662-43376-8_1openalex-snapshot
Encoding Synchronous Interactions Using Labelled Petri Nets
inferred← citeshttps://doi.org/10.1007/bf01214621openalex-snapshot
Progress assumption in concurrent systems
inferred← citeshttps://doi.org/10.1007/bf03036469openalex-snapshot
Axiomatizing the algebra of net computations and processes
inferred← citeshttps://doi.org/10.1007/s40595-015-0051-zopenalex-snapshot
Language representability of finite place/transition Petri nets
inferred← citeshttps://doi.org/10.1016/0167-6423(93)90010-mopenalex-snapshot
Axiomatizing CCS, nets and processes
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00073-ropenalex-snapshot
On the implementation of concurrent calculi in net calculi: two case studies
inferred← citeshttps://doi.org/10.1016/0304-3975(94)90058-2openalex-snapshot
Finite Petri nets as models for recursive causal behaviour
inferred← citeshttps://doi.org/10.1016/b978-044482830-9/50033-3openalex-snapshot
Process Algebras with Localities
inferred← citeshttps://doi.org/10.1016/j.jlap.2008.08.002openalex-snapshot
Distributed semantics for the π -calculus based on Petri nets with inhibitor arcs
inferred← citeshttps://doi.org/10.1016/j.scico.2014.11.019openalex-snapshot
Modular encoding of synchronous and asynchronous interactions using open Petri nets
inferred← citeshttps://doi.org/10.1016/s0304-3975(96)00009-6openalex-snapshot
An axiomatization of the algebra of Petri net concatenable processes
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00169-2openalex-snapshot
A uniform approach to true-concurrency and interleaving semantics for Petri nets
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00024-6openalex-snapshot
Concurrent Semantics for the π-calculus
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80297-xopenalex-snapshot
Decidability of Plain and Hereditary History-Preserving Bisimilarity for BPP
inferred← citeshttps://doi.org/10.1017/s0960129597002284openalex-snapshot
Structured transition systems with parametric observations: observational congruences and minimal realizations
inferred← citeshttps://doi.org/10.1142/9789812562494_0057openalex-snapshot
THE ALGEBRAIC STRUCTURE OF PETRI NETS
inferred← citeshttps://doi.org/10.3233/fi-1994-201237openalex-snapshot
COMBINING CCS AND PETRI NETS VIA STRUCTURAL AXIOMS
inferred← citeshttps://doi.org/10.3233/fi-2011-501openalex-snapshot
An Operational Petri Net Semantics for A 2 CCS
inferred← citeshttps://doi.org/10.3233/fi-2015-1243openalex-snapshot
A Causal View on Non-Interference
inferred← citeshttps://doi.org/10.4204/eptcs.41.6openalex-snapshot
A Process Calculus for Expressing Finite Place/Transition Petri Nets
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.