On the public citation graph

From petri nets to linear logic

https://doi.org/10.1007/bfb0018359
0 signed · 80 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-18419-8_14openalex-snapshot
Linear logic and parallelism
inferredcites →https://doi.org/10.1007/978-1-4615-7831-4_19openalex-snapshot
Natural Associativity and Commutativity
inferredcites →https://doi.org/10.1007/978-3-642-69968-9openalex-snapshot
Petri Nets
inferredcites →https://doi.org/10.1007/bf01703261openalex-snapshot
Deductive systems and categories
inferredcites →https://doi.org/10.1007/bfb0073965openalex-snapshot
Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic
inferredcites →https://doi.org/10.1007/bfb0079385openalex-snapshot
Deductive systems and categories II. Standard constructions and closed categories
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/0304-3975(87)90045-4openalex-snapshot
Linear logic
inferredcites →https://doi.org/10.1016/0304-3975(88)90074-6openalex-snapshot
The linear abstract machine
inferredcites →https://doi.org/10.1016/0304-3975(88)90100-4openalex-snapshot
The linear abstract machine
inferredcites →https://doi.org/10.1016/0890-5401(90)90013-8openalex-snapshot
Petri nets are monoids
inferredcites →https://doi.org/10.1090/conm/013/685975openalex-snapshot
Why commutative diagrams coincide with equivalent proofs
inferredcites →https://doi.org/10.1090/conm/092/1003194openalex-snapshot
The Dialectica categories
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.1111/j.1746-8361.1969.tb01194.xopenalex-snapshot
Adjointness in Foundations

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/10721975_1openalex-snapshot
Rewriting Logic and Maude: Concepts and Applications
inferred← citeshttps://doi.org/10.1007/3-540-52590-4_46openalex-snapshot
Petri nets as models of linear logic
inferred← citeshttps://doi.org/10.1007/3-540-54317-1_81openalex-snapshot
Conditional rewriting logic: Deduction, models and concurrency
inferred← citeshttps://doi.org/10.1007/3-540-55160-3_49openalex-snapshot
Parallel programming in maude
inferred← citeshttps://doi.org/10.1007/3-540-55511-0_21openalex-snapshot
A monoidal closed category of event structures
inferred← citeshttps://doi.org/10.1007/3-540-55676-1_18openalex-snapshot
High-level nets and linear logic
inferred← citeshttps://doi.org/10.1007/3-540-57887-0_119openalex-snapshot
Petri nets, Horn programs, Linear Logic, and vector games
inferred← citeshttps://doi.org/10.1007/3-540-58025-5_66openalex-snapshot
Linear logic semantics for Concurrent Prolog
inferred← citeshttps://doi.org/10.1007/3-540-58027-1_23openalex-snapshot
Holomorphic models of exponential types in linear logic
inferred← citeshttps://doi.org/10.1007/3-540-58043-3_20openalex-snapshot
Linear logic on Petri nets
inferred← citeshttps://doi.org/10.1007/3-540-58140-5_11openalex-snapshot
Foundations of proof search strategies design in linear logic
inferred← citeshttps://doi.org/10.1007/3-540-58140-5_19openalex-snapshot
Computational and concurrency models of linear logic
inferred← citeshttps://doi.org/10.1007/978-3-319-23165-5_1openalex-snapshot
José Meseguer: Scientist and Friend Extraordinaire
inferred← citeshttps://doi.org/10.1007/978-3-642-00675-3_4openalex-snapshot
Encoding of Planning Problems and Their Optimizations in Linear Logic
inferred← citeshttps://doi.org/10.1007/bf01211602openalex-snapshot
Asynchronous communication model based on linear logic
inferred← citeshttps://doi.org/10.1007/bfb0013461openalex-snapshot
Proof nets and coherence theorems
inferred← citeshttps://doi.org/10.1007/bfb0022581openalex-snapshot
Committed-choice concurrent logic programming in linear logic
inferred← citeshttps://doi.org/10.1007/bfb0026564openalex-snapshot
Simulating guarded programs in linear logic
inferred← citeshttps://doi.org/10.1007/bfb0028028openalex-snapshot
Concurrent constraint programming and non-commutative logic
inferred← citeshttps://doi.org/10.1007/bfb0039047openalex-snapshot
SCONE: A simple calculus of nets
inferred← citeshttps://doi.org/10.1007/bfb0039072openalex-snapshot
Rewriting as a unified model of concurrency
inferred← citeshttps://doi.org/10.1007/s10489-017-0936-xopenalex-snapshot
LinGraph: a graph-based automated planner for concurrent task planning based on linear logic
inferred← citeshttps://doi.org/10.1016/0168-0072(92)90075-bopenalex-snapshot
Decision problems for propositional linear logic
inferred← citeshttps://doi.org/10.1016/0168-0072(94)00060-gopenalex-snapshot
Petri nets, Horn programs, Linear Logic and vector games
inferred← citeshttps://doi.org/10.1016/0168-0072(94)90011-6openalex-snapshot
Linear logic as a logic of computations
inferred← citeshttps://doi.org/10.1016/0168-0072(95)00035-6openalex-snapshot
Linear logic automata
inferred← citeshttps://doi.org/10.1016/0304-3975(92)90182-fopenalex-snapshot
Conditional rewriting logic as a unified model of concurrency
inferred← citeshttps://doi.org/10.1016/0304-3975(93)90053-vopenalex-snapshot
Linear logic, coherence and dinaturality
inferred← citeshttps://doi.org/10.1016/0304-3975(93)90151-iopenalex-snapshot
A logical view of composition
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00105-7openalex-snapshot
On proof normalization in linear logic
inferred← citeshttps://doi.org/10.1016/b978-1-55860-203-8.50026-7openalex-snapshot
Evidential Reasoning in a Categorial Perspective: Conjunction and Disjunction of Belief Functions
inferred← citeshttps://doi.org/10.1016/j.ic.2008.11.006openalex-snapshot
Relating state-based and process-based concurrency through linear logic (full-version)
inferred← citeshttps://doi.org/10.1017/s0960129500000062openalex-snapshot
From Petri nets to linear logic
inferred← citeshttps://doi.org/10.1017/s0960129500000797openalex-snapshot
Causal dependencies in multiplicative linear logic with MIX
inferred← citeshttps://doi.org/10.1023/a:1020581029371openalex-snapshot
A Natural Semantic Framework for ECATNets
inferred← citeshttps://doi.org/10.1023/b:stud.0000032085.13087.bdopenalex-snapshot
Order Algebras as Models of Linear Logic
inferred← citeshttps://doi.org/10.1093/jigpal/8.2.149openalex-snapshot
Concurrent systems analysis using ECATNets
inferred← citeshttps://doi.org/10.1109/cdc.1992.371265openalex-snapshot
Real-time object oriented intelligent control environment
inferred← citeshttps://doi.org/10.1109/coginf.2010.5599731openalex-snapshot
Discrete Dynamical Systems for encoding Concurrent Computing Systems
inferred← citeshttps://doi.org/10.1109/fscs.1990.89588openalex-snapshot
Decision problems for propositional linear logic
inferred← citeshttps://doi.org/10.1109/hol.1991.596303openalex-snapshot
Reasoning About Petri Nets In HOL
inferred← citeshttps://doi.org/10.1109/icsmc.1993.384881openalex-snapshot
Petri nets and linear logic for process oriented diagnosis
inferred← citeshttps://doi.org/10.1109/informatics.2015.7377814openalex-snapshot
Component composition using linear logic and Petri nets
inferred← citeshttps://doi.org/10.1109/lics.1990.113746openalex-snapshot
Normal process representatives
inferred← citeshttps://doi.org/10.1109/lics.1997.614928openalex-snapshot
Temporal linear logic specifications for concurrent processes
inferred← citeshttps://doi.org/10.1109/lics.2004.1319601openalex-snapshot
Vector addition tree automata
inferred← citeshttps://doi.org/10.1109/lics.2015.57openalex-snapshot
Hyper Natural Deduction
inferred← citeshttps://doi.org/10.1145/130956.130958openalex-snapshot
Linear logic
inferred← citeshttps://doi.org/10.1145/96709.96715openalex-snapshot
Implicative formulae in the proofs of computations' analogy
inferred← citeshttps://doi.org/10.1145/97945.97958openalex-snapshot
A logical theory of concurrent objects
inferred← citeshttps://doi.org/10.1184/r1/6608369openalex-snapshot
Petri Nets and Linear Logic: a Case Study for Logic Programming
inferred← citeshttps://doi.org/10.12700/aph.10.04.2013.4.9openalex-snapshot
What about Linear Logic in Computer Science?
inferred← citeshttps://doi.org/10.12700/aph.11.06.2014.06.12openalex-snapshot
Petri Nets to B-Language Transformation in Software Development
inferred← citeshttps://doi.org/10.14279/depositonce-1475openalex-snapshot
Formal Approach and Applications of Algebraic Higher-Order Nets
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.30.426openalex-snapshot
Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets
inferred← citeshttps://doi.org/10.17512/jamcm.2015.1.09openalex-snapshot
Linear logic in computer science
inferred← citeshttps://doi.org/10.3233/fi-1999-37303openalex-snapshot
A Linear Logic View of Object Petri Nets
inferred← citeshttps://doi.org/10.3233/fi-2000-43123404openalex-snapshot
A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures
inferred← citeshttps://doi.org/10.3233/fi-2014-981openalex-snapshot
On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems
inferred← citeshttps://doi.org/10.4204/eptcs.292.7openalex-snapshot
The ILLTP Library for Intuitionistic Linear Logic
inferred← citeshttps://doi.org/10.6083/2514nk87qopenalex-snapshot
A survey of categorical computation : fixed points, partiality, combinators, ... control?
inferred← citeshttps://doi.org/10.7146/brics.v1i3.21667openalex-snapshot
Linear Logic on Petri Nets
inferred← citeshttps://doi.org/10.7146/dpb.v19i301.6682openalex-snapshot
Petri Nets as Models of Linear Logic
inferred← citeshttps://doi.org/10.7146/dpb.v20i363.6594openalex-snapshot
A Linear Specification Language for 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.