On the public citation graph

Probabilistic resource failure in real-time process algebra

https://doi.org/10.1007/bfb0055637
0 signed · 30 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.1006/inco.1995.1135openalex-snapshot
Axiomatizing Probabilistic Processes: ACP with Generative Probabilities
inferredcites →https://doi.org/10.1007/3-540-60692-0_70openalex-snapshot
Model checking of probabilistic and nondeterministic systems
inferredcites →https://doi.org/10.1007/3-540-63165-8_199openalex-snapshot
Symbolic model checking for probabilistic processes
inferredcites →https://doi.org/10.1007/978-0-8176-4844-2openalex-snapshot
Linear Programming
inferredcites →https://doi.org/10.1007/978-1-4684-9440-2openalex-snapshot
Measure Theory
inferredcites →https://doi.org/10.1007/978-3-540-48654-1_35openalex-snapshot
Probabilistic Simulations for Probabilistic Processes
inferredcites →https://doi.org/10.1007/978-3-540-69850-0_12openalex-snapshot
DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
inferredcites →https://doi.org/10.1007/bf01211866openalex-snapshot
A logic for reasoning about time and reliability
inferredcites →https://doi.org/10.1007/bf01211867openalex-snapshot
Processes with probabilities, priority and time
inferredcites →https://doi.org/10.1007/bfb0015027openalex-snapshot
Probabilistic simulations for probabilistic processes
inferredcites →https://doi.org/10.1007/bfb0025774openalex-snapshot
Design and synthesis of synchronization skeletons using branching time temporal logic
inferredcites →https://doi.org/10.1109/5.259433openalex-snapshot
A process algebraic approach to the specification and analysis of resource-bound real-time systems
inferredcites →https://doi.org/10.1109/aero.1997.577994openalex-snapshot
PARAGON: a paradigm for the specification, verification and testing of real-time systems
inferredcites →https://doi.org/10.1109/lics.1990.113739openalex-snapshot
Three logics for branching bisimulation
inferredcites →https://doi.org/10.1109/sfcs.1985.12openalex-snapshot
Automatic verification of probabilistic concurrent finite state programs
inferredcites →https://doi.org/10.1145/253228.253434openalex-snapshot
Model-checking of real-time systems
inferredcites →https://doi.org/10.1145/259380.259527openalex-snapshot
Automatic verification of liveness properties of randomized systems
inferredcites →https://doi.org/10.1145/5397.5399openalex-snapshot
Automatic verification of finite-state concurrent systems using temporal logic specifications
inferredcites →https://doi.org/10.21236/ada461346openalex-snapshot
Model Checking of Probabilistic and Nondeterministic Systems

What points at this work

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

inferred← citeshttps://doi.org/10.2139/ssrn.4819131openalex-extracted
The Beauty and the Beast: Sok on Process Algebras and Cybersecurity
inferred← citeshttps://doi.org/10.1007/0-306-47003-9_27openalex-snapshot
A Family of Resource-Bound Real-Time Process Algebras
inferred← citeshttps://doi.org/10.1007/3-540-36577-x_29openalex-snapshot
Modeling and Analysis of Power-Aware Systems
inferred← citeshttps://doi.org/10.1007/3-540-44618-4_25openalex-snapshot
Weak Bisimulation for Probabilistic Systems
inferred← citeshttps://doi.org/10.1007/3-540-49019-1_20openalex-snapshot
Probabilistic Temporal Logics via the Modal Mu-Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-24626-8_16openalex-snapshot
A General Resource Framework for Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-01924-1_16openalex-snapshot
Process-Algebraic Interpretation of AADL Models
inferred← citeshttps://doi.org/10.1016/j.jlap.2007.02.005openalex-snapshot
Resources in process algebra
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.03.048openalex-snapshot
Probabilistic temporal logics via the modal mu-calculus
inferred← citeshttps://doi.org/10.1109/jproc.2004.831197openalex-snapshot
Formal verification of timed systems: a survey and perspective
inferred← citeshttps://doi.org/10.1109/wstfes.2004.1300422openalex-snapshot
Resource modeling for embedded systems design
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.