On the public citation graph

Temporal Structures

0 signed · 57 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-10003-2_83openalex-snapshot

A representation theorem for models of *-free PDL

inferredcites →https://doi.org/10.1007/3-540-15648-8_22openalex-snapshot

Some constructions for order-theoretic models of concurrency

inferredcites →https://doi.org/10.1007/3-540-15670-4_9openalex-snapshot

The pomset model of parallel processes: Unifying the temporal and the spatial

inferredcites →https://doi.org/10.1007/3-540-16047-7_39openalex-snapshot

Two-way channel with disconnect

inferredcites →https://doi.org/10.1007/978-1-4612-9839-7openalex-snapshot

Categories for the Working Mathematician

inferredcites →https://doi.org/10.1007/978-3-642-99902-4_22openalex-snapshot

Closed Categories

inferredcites →https://doi.org/10.1007/bf01379149openalex-snapshot

Modeling concurrency with partial orders

inferredcites →https://doi.org/10.1007/bf02924844openalex-snapshot

Metric spaces, generalized logic, and closed categories

inferredcites →https://doi.org/10.1007/bfb0013031openalex-snapshot

Modeling concurrency by partial orders and nonlinear transition systems

inferredcites →https://doi.org/10.1007/bfb0063101openalex-snapshot

Review of the elements of 2-categories

inferredcites →https://doi.org/10.1016/0022-4049(83)90100-7openalex-snapshot

Variation through enrichment

inferredcites →https://doi.org/10.1016/0304-3975(87)90045-4openalex-snapshot

Linear logic

inferredcites →https://doi.org/10.1109/lics.1988.5113openalex-snapshot

A category of labelled Petri nets and compositional proof system

inferredcites →https://doi.org/10.1145/321105.321107openalex-snapshot

A Theorem on Boolean Matrices

inferredcites →https://doi.org/10.1145/367766.368168openalex-snapshot

Algorithm 97: Shortest path

inferredcites →https://doi.org/10.1145/582153.582177openalex-snapshot

On the composition of processes

inferredcites →https://doi.org/10.1145/828.833openalex-snapshot

A Theory of Communicating Sequential Processes

inferredcites →https://doi.org/10.1145/99583.99625openalex-snapshot

Modeling concurrency with geometry

inferredcites →https://doi.org/10.1215/s0012-7094-37-00323-5openalex-snapshot

An extended arithmetic

inferredcites →https://doi.org/10.1215/s0012-7094-42-00921-9openalex-snapshot

Generalized arithmetic

inferredcites →https://doi.org/10.3233/fi-1981-4210openalex-snapshot

On Partial Languages

inferredcites →https://doi.org/10.3233/fi-1988-11404openalex-snapshot

Behavior Structures and Nets

What points at this work

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

inferred← citeshttps://doi.org/10.1007/11535294_4openalex-snapshot

Real-Time Event Structures and Scott Domains

inferred← citeshttps://doi.org/10.1007/3-540-44669-9_28openalex-snapshot

On the Category of Event Structures with Dense Time

inferred← citeshttps://doi.org/10.1007/3-540-44743-1_12openalex-snapshot

Characterizing Timed Net Processes Categorically

inferred← citeshttps://doi.org/10.1007/3-540-45694-5_3openalex-snapshot

Event-State Duality: The Enriched Case

inferred← citeshttps://doi.org/10.1007/3-540-52590-4_47openalex-snapshot

Towards the unification of models for concurrency

inferred← citeshttps://doi.org/10.1007/3-540-53479-2_16openalex-snapshot

Observers, experiments, and agents: A comprehensive approach to parallelism

inferred← citeshttps://doi.org/10.1007/3-540-53479-2_8openalex-snapshot

Transition systems with algebraic structure as models of computations

inferred← citeshttps://doi.org/10.1007/3-540-55511-0_20openalex-snapshot

On continuous time agents

inferred← citeshttps://doi.org/10.1007/3-540-56496-9_11openalex-snapshot

Verifying timed behavior automata with nonbinary delay constraints

inferred← citeshttps://doi.org/10.1007/3-540-56922-7_35openalex-snapshot

Verifying timed behavior automata with input/output critical races

inferred← citeshttps://doi.org/10.1007/3-540-57182-5_9openalex-snapshot

The second calculus of binary relations

inferred← citeshttps://doi.org/10.1007/3-540-57887-0_117openalex-snapshot

Abstract pre-orders

inferred← citeshttps://doi.org/10.1007/3-540-59293-8_190openalex-snapshot

Rational mechanics and natural mathematics

inferred← citeshttps://doi.org/10.1007/3-540-61648-9_52openalex-snapshot

On specifying real-time systems in a causality-based setting

inferred← citeshttps://doi.org/10.1007/978-1-4471-3756-6_20openalex-snapshot

Timed Process Algebra, Petri Nets, and Event Refinement

inferred← citeshttps://doi.org/10.1007/978-3-540-70881-0_39openalex-snapshot

Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction

inferred← citeshttps://doi.org/10.1007/978-3-642-19056-8_6openalex-snapshot

Linear Process Algebra

inferred← citeshttps://doi.org/10.1007/bf00370685openalex-snapshot

Dynamic algebras: Examples, constructions, applications

inferred← citeshttps://doi.org/10.1007/bf03036469openalex-snapshot

Axiomatizing the algebra of net computations and processes

inferred← citeshttps://doi.org/10.1007/bfb0015256openalex-snapshot

Chu spaces and their interpretation as concurrent objects

inferred← citeshttps://doi.org/10.1007/bfb0018436openalex-snapshot

Action logic and pure induction

inferred← citeshttps://doi.org/10.1007/bfb0023846openalex-snapshot

Arithmetic + logic + geometry = concurrency

inferred← citeshttps://doi.org/10.1007/bfb0043079openalex-snapshot

Dynamic algebras as a well-behaved fragment of relation algebras

inferred← citeshttps://doi.org/10.1007/bfb0084795openalex-snapshot

The duality of time and information

inferred← citeshttps://doi.org/10.1016/s0169-7552(97)00134-7openalex-snapshot

Partial order models for quantitative extensions of LOTOS

inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00169-4openalex-snapshot

Chu spaces as a semantic bridge between linear logic and mathematics

inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80475-xopenalex-snapshot

Types as Processes, via Chu spaces

inferred← citeshttps://doi.org/10.1017/s0960129500000803openalex-snapshot

A generalization of the trie data structure

inferred← citeshttps://doi.org/10.1017/s0960129503004031openalex-snapshot

Transition and cancellation in concurrency and branching time

inferred← citeshttps://doi.org/10.1023/a:1008649927166openalex-snapshot

A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions

inferred← citeshttps://doi.org/10.1109/12.88460openalex-snapshot

Formalization of protocol engineering concepts

inferred← citeshttps://doi.org/10.1109/phycmp.1992.615518openalex-snapshot

Linear Logic For Generalized Quantum Mechanics

inferred← citeshttps://doi.org/10.1109/sfcs.1993.366881openalex-snapshot

Gates accept concurrent behavior

inferred← citeshttps://doi.org/10.1134/s0361768808030018openalex-snapshot

Semantic domains of timed event structures

inferred← citeshttps://doi.org/10.1145/99583.99625openalex-snapshot

Modeling concurrency with geometry

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.