On the public citation graph
Towards performance evaluation with general distributions in process algebras
0 signed · 51 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.1006/inco.1994.1096openalex-snapshot
Adding Action Refinement to a Finite Process Algebra
inferredcites →https://doi.org/10.1006/inco.1998.2706openalex-snapshot
A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems
inferredcites →https://doi.org/10.1007/3-540-17945-3_13openalex-snapshot
Petri net models for algebraic theories of concurrency
inferredcites →https://doi.org/10.1007/3-540-63165-8_192openalex-snapshot
An algebra-based method to associate rewards with EMPA terms
inferredcites →https://doi.org/10.1007/978-3-642-82921-5_4openalex-snapshot
Notes on Communicating Sequential Systems
inferredcites →https://doi.org/10.1007/bf01211867openalex-snapshot
Processes with probabilities, priority and time
inferredcites →https://doi.org/10.1007/bfb0013028openalex-snapshot
Permutation of transitions: An event structure semantics for CCS and SCCS
inferredcites →https://doi.org/10.1007/bfb0013851openalex-snapshot
Multiprocessor and distributed system design: The integration of functional specification and performance analysis using Stochastic Process Algebras
inferredcites →https://doi.org/10.1016/0166-5316(93)90002-copenalex-snapshot
Aggregation and disaggregation through insensitivity in stochastic Petri nets
inferredcites →https://doi.org/10.1016/0890-5401(91)90030-6openalex-snapshot
Bisimulation through probabilistic testing
inferredcites →https://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
inferredcites →https://doi.org/10.1017/cbo9780511569951openalex-snapshot
A Compositional Approach to Performance Modelling
inferredcites →https://doi.org/10.1017/s0305004100030437openalex-snapshot
The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables
inferredcites →https://doi.org/10.1093/comjnl/38.7.552openalex-snapshot
A Stochastic Causality-Based Process Algebra
inferredcites →https://doi.org/10.1109/90.298433openalex-snapshot
A LOTOS extension for the performance analysis of distributed systems
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.2000.3058openalex-snapshot
Language-based Performance Prediction for Distributed and Mobile Systems
inferred← citeshttps://doi.org/10.1007/11535294_1openalex-snapshot
On Evaluating the Performance of Security Protocols
inferred← citeshttps://doi.org/10.1007/3-540-44667-2_11openalex-snapshot
General Distributions in Process Algebra
inferred← citeshttps://doi.org/10.1007/3-540-44685-0_22openalex-snapshot
A Testing Theory for Generally Distributed Stochastic Processes
inferred← citeshttps://doi.org/10.1007/978-3-319-00560-7_40openalex-snapshot
Towards an Integrated Specification and Analysis of Functional and Temporal Properties:
inferred← citeshttps://doi.org/10.1007/978-3-540-24611-4_2openalex-snapshot
Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions
inferred← citeshttps://doi.org/10.1007/978-3-540-30080-9_5openalex-snapshot
Real Time and Stochastic Time
inferred← citeshttps://doi.org/10.1007/978-3-540-72522-0_8openalex-snapshot
Tackling Large State Spaces in Performance Modelling
inferred← citeshttps://doi.org/10.1007/978-3-540-87563-5_13openalex-snapshot
A Comparative Study of STOPA and RTPA
inferred← citeshttps://doi.org/10.1007/978-3-662-43376-8_12openalex-snapshot
The Stochastic Quality Calculus
inferred← citeshttps://doi.org/10.1007/s00165-004-0044-7openalex-snapshot
An integrated framework for the performance analysis of asynchronous communicating stochastic processes
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.10.007openalex-snapshot
Exploiting non-Markovian Bio-Processes
inferred← citeshttps://doi.org/10.1016/j.ic.2005.07.002openalex-snapshot
A theory of Stochastic systems. Part II: Process algebra
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.11.028openalex-snapshot
Bio-PEPAd: A non-Markovian extension of Bio-PEPA
inferred← citeshttps://doi.org/10.1016/s0166-5316(02)00103-7openalex-snapshot
Product form solution for an insensitive stochastic process algebra structure
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00305-4openalex-snapshot
Process algebra for performance evaluation
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00043-3openalex-snapshot
The theory of interactive generalized semi-Markov processes
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00227-0openalex-snapshot
Non-determinism in Probabilistic Timed Systems with General Distributions
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)01220-xopenalex-snapshot
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80298-1openalex-snapshot
Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement (Extended Abstract)
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80749-2openalex-snapshot
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time
inferred← citeshttps://doi.org/10.1017/s0960129513000029openalex-snapshot
Equivalence relations for modular performance evaluation in dtsPBC
inferred← citeshttps://doi.org/10.1080/17445760.2025.2527713openalex-snapshot
Comparing dtsdPBC with other stochastic process algebras
inferred← citeshttps://doi.org/10.1109/ccca.2011.6031388openalex-snapshot
Maximality semantics based stochastic process algebra for performance evaluation
inferred← citeshttps://doi.org/10.1109/cic.2006.60openalex-snapshot
Removing Timed Delays in Stochastic Automata
inferred← citeshttps://doi.org/10.1109/coginf.2004.1327460openalex-snapshot
STOPA: a stochastic process algebra for the formal representation of cognitive systems
inferred← citeshttps://doi.org/10.1109/real.1999.818832openalex-snapshot
Specification and analysis of soft real-time systems: quantity and quality
inferred← citeshttps://doi.org/10.1145/333580.333586openalex-snapshot
Let's evaluate performance algebraically
inferred← citeshttps://doi.org/10.1145/566385.566386openalex-snapshot
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
inferred← citeshttps://doi.org/10.20381/ruor-13027openalex-snapshot
Approaches to analysis and simplification of non-Markovian system models
inferred← citeshttps://doi.org/10.4018/jcini.2007100104openalex-snapshot
A Formal Specification of the Memorization Process
inferred← citeshttps://doi.org/10.5281/zenodo.26339openalex-snapshot
Leptothorax Nadigi Kutter, 1925 Y Goniomma Blanci (André, 1881): Descripción De Los Machos (Hym. Formicidae).
inferred← citeshttps://doi.org/10.5281/zenodo.26445openalex-snapshot
Rhopalomastix Janeti (Hym. Formicidae) A Species Of Ant New To Science.
inferred← citeshttps://doi.org/10.5445/ksp/1000009095openalex-snapshot
Coupled model transformations for QoS enabled component-based software 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.