On the public citation graph

A synchronous calculus of relative frequency

0 signed · 53 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/978-1-4612-6200-8openalex-snapshot

Markov Chain Models — Rarity and Exponentiality

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

Concurrency and automata on infinite sequences

inferredcites →https://doi.org/10.1016/0166-218x(83)90023-9openalex-snapshot

Randomised algorithms

inferredcites →https://doi.org/10.1016/0304-3975(83)90114-7openalex-snapshot

Calculi for synchrony and asynchrony

inferredcites →https://doi.org/10.1016/0890-5401(91)90030-6openalex-snapshot

Bisimulation through probabilistic testing

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

A probabilistic powerdomain of evaluations

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

Reactive, generative, and stratified models of probabilistic processes

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

Bisimulation through probabilistic testing (preliminary report)

inferredcites →https://doi.org/10.3233/fi-1986-9202openalex-snapshot

Syntax and Defining Equations for an Interrupt Mechanism in Process Algebra1

What points at this work

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

inferred← citeshttps://doi.org/10.1006/inco.1995.1135openalex-snapshot

Axiomatizing Probabilistic Processes: ACP with Generative Probabilities

inferred← citeshttps://doi.org/10.1007/3-540-44667-2_6openalex-snapshot

Verification of Randomized Distributed Algorithms

inferred← citeshttps://doi.org/10.1007/3-540-48778-6_8openalex-snapshot

An Axiomatization of Probabilistic Testing

inferred← citeshttps://doi.org/10.1007/3-540-49213-5_20openalex-snapshot

Compositional Verification of Randomized Distributed Algorithms

inferred← citeshttps://doi.org/10.1007/3-540-54430-5_86openalex-snapshot

A conditional operator for CCS

inferred← citeshttps://doi.org/10.1007/3-540-56610-4_101openalex-snapshot

A fully parallel calculus of synchronizing processes

inferred← citeshttps://doi.org/10.1007/3-540-60630-0_9openalex-snapshot

Analytic and locally approximate solutions to properties of probabilistic processes

inferred← citeshttps://doi.org/10.1007/3-540-61550-4_167openalex-snapshot

Probabilistic metric semantics for a simple language with recursion

inferred← citeshttps://doi.org/10.1007/3-540-61604-7_63openalex-snapshot

Extended Markovian Process Algebra

inferred← citeshttps://doi.org/10.1007/978-1-4471-3217-2_4openalex-snapshot

A Process Calculus with Incomparable Priorities

inferred← citeshttps://doi.org/10.1007/978-3-031-42697-1_4openalex-snapshot

Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants

inferred← citeshttps://doi.org/10.1007/978-3-031-75107-3_18openalex-snapshot

Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic

inferred← citeshttps://doi.org/10.1007/978-3-642-34281-3_12openalex-snapshot

Modeling and Verification of Probabilistic Actor Systems Using pRebeca

inferred← citeshttps://doi.org/10.1007/978-3-642-85165-0_19openalex-snapshot

Extended LOTOS

inferred← citeshttps://doi.org/10.1007/978-3-662-44584-6_2openalex-snapshot

The Benefits of Sometimes Not Being Discrete

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

LOTOS extended with probabilistic behaviours

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

Processes with probabilities, priority and time

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

Priority as extremal probability

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

Algorithms for task allocation in ants. (A study of temporal polyethism: Theory)

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

Compositional performance analysis

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

Axiomatizing probabilistic processes: ACP with generative probabilities

inferred← citeshttps://doi.org/10.1007/s10766-005-8911-2openalex-snapshot

Dynamic and Formal Verification of Embedded Systems: A Comparative Survey

inferred← citeshttps://doi.org/10.1016/0164-1212(94)00059-vopenalex-snapshot

A model for timed-probabilistic behaviors

inferred← citeshttps://doi.org/10.1016/0169-7552(93)90049-aopenalex-snapshot

A LOTOS based performance evaluation tool

inferred← citeshttps://doi.org/10.1016/j.ic.2013.02.002openalex-snapshot

Testing probabilistic equivalence through Reinforcement Learning

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)00294-8openalex-snapshot

Additive models of probabilistic processes

inferred← citeshttps://doi.org/10.1016/s0928-4869(00)00029-xopenalex-snapshot

Getting Demos models right. (I). Practice

inferred← citeshttps://doi.org/10.1016/s0928-4869(98)00013-5openalex-snapshot

Exact, analytic, and locally approximate solutions to discrete event-simulation problems

inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80603-6openalex-snapshot

The Essence of Coin Lemmas

inferred← citeshttps://doi.org/10.1093/comjnl/39.8.701openalex-snapshot

A Theory of Prioritizing Composition

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

Process algebra to model self-organizing behavior in Wireless Sensor Networks

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

Locality-Aware Extension of pi-Calculus to Model Self-Organizing Behavior in Massively Distributed Embedded Systems

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

CCS with priority choice

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

PROBMELA: a modeling language for communicating probabilistic processes

inferred← citeshttps://doi.org/10.1142/9789812819826_0026openalex-snapshot

The Effect of the Embryonic Bottleneck on Vertical Microparasite Transmission

inferred← citeshttps://doi.org/10.11575/prism/30377openalex-snapshot

CHARACTERISING THE STRUCTURE OF SIMULATION MODELS IN CCS

inferred← citeshttps://doi.org/10.2307/1513301openalex-snapshot

Automated Composition from Computer Models of Biological Behavior

inferred← citeshttps://doi.org/10.25100/iycopenalex-snapshot

INGENIERÍA Y COMPETITIVIDAD

inferred← citeshttps://doi.org/10.25100/iyc.v15i2.2598openalex-snapshot

Un estudio de los cálculos computacionales usados en aplicaciones musicales

inferred← citeshttps://doi.org/10.25100/iyc.v15i2.2598.g3413openalex-snapshot

A survey of computational calculi used in musical applications

inferred← citeshttps://doi.org/10.3990/1.9789036507998openalex-snapshot

Quantitative and Qualitative Extensions of Event Structures

inferred← citeshttps://doi.org/10.4204/eptcs.154.2openalex-snapshot

GSOS for non-deterministic processes with quantitative aspects

inferred← citeshttps://doi.org/10.48550/arxiv.1310.4106openalex-snapshot

Weak bisimulations for labelled transition systems weighted over semirings

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.