On the public citation graph
Priority as extremal probability
0 signed · 40 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bfb0015727openalex-snapshot
Linear and branching structures in the semantics and logics of reactive systems
inferredcites →https://doi.org/10.1007/bfb0017309openalex-snapshot
Concurrency and automata on infinite sequences
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(90)90059-qopenalex-snapshot
Priorities in process algebras
inferredcites →https://doi.org/10.1016/0890-5401(91)90030-6openalex-snapshot
Bisimulation through probabilistic testing
inferredcites →https://doi.org/10.1109/lics.1988.5118openalex-snapshot
Priorities in process algebras
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
inferredcites →https://doi.org/10.48456/tr-157openalex-snapshot
Introducing a priority operator to CCS
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_22openalex-snapshot
Comparative semantics for a real-time programming language with integration
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-55092-5_27openalex-snapshot
Translating timed process algebra into prioritized process algebra
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-58715-2_127openalex-snapshot
Priority and abstraction in process algebra
inferred← citeshttps://doi.org/10.1007/3-540-60218-6_18openalex-snapshot
Acceptance trees for probabilistic 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/978-1-4471-3217-2_4openalex-snapshot
A Process Calculus with Incomparable Priorities
inferred← citeshttps://doi.org/10.1007/978-3-030-72016-2openalex-snapshot
Tools and Algorithms for the Construction and Analysis of Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-46206-6_22openalex-snapshot
Topological Constructions of Epsilon-Bisimulation
inferred← citeshttps://doi.org/10.1007/978-3-540-24611-4_1openalex-snapshot
Probabilistic Automata: System Types, Parallel Composition and Comparison
inferred← citeshttps://doi.org/10.1007/978-3-642-04081-8_11openalex-snapshot
Deriving Syntax and Axioms for Quantitative Regular Behaviours
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/bfb0035395openalex-snapshot
Compositional performance analysis
inferred← citeshttps://doi.org/10.1007/bfb0084814openalex-snapshot
Programming in a general model of synchronization
inferred← citeshttps://doi.org/10.1007/pl00013291openalex-snapshot
Symbolic Approaches to Probability Distributions in Process Algebra
inferred← citeshttps://doi.org/10.1007/s11390-013-1400-yopenalex-snapshot
The Infinite Evolution Mechanism of ϵ-Bisimilarity
inferred← citeshttps://doi.org/10.1007/s11859-016-1137-xopenalex-snapshot
Probabilistic model of software approximate correctness
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.2007.05.001openalex-snapshot
Priority and abstraction in process algebra
inferred← citeshttps://doi.org/10.1016/j.ic.2010.09.007openalex-snapshot
Quantitative Kleene coalgebras
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00294-8openalex-snapshot
Additive models of probabilistic processes
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00127-8openalex-snapshot
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
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.1093/comjnl/39.8.701openalex-snapshot
A Theory of Prioritizing Composition
inferred← citeshttps://doi.org/10.1109/lics.1990.113740openalex-snapshot
Reactive, generative, and stratified models of probabilistic processes
inferred← citeshttps://doi.org/10.1155/2015/173012openalex-snapshot
Quantitative Analysis of Software Approximate Correctness
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.