On the public citation graph
Multiprocessor and distributed system design: The integration of functional specification and performance analysis using Stochastic Process Algebras
0 signed · 148 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/3-540-53065-7_91openalex-snapshot
A method for performance prediction of parallel programs
inferredcites →https://doi.org/10.1007/978-3-642-76309-0_10openalex-snapshot
Formal Description, Time and Performance Analysis a Framework
inferredcites →https://doi.org/10.1007/978-3-642-82921-5_4openalex-snapshot
Notes on Communicating Sequential Systems
inferredcites →https://doi.org/10.1007/978-94-009-5408-3_2openalex-snapshot
Performance Analysis of Multiprocessor Systems
inferredcites →https://doi.org/10.1007/bfb0032006openalex-snapshot
An overview and synthesis on timed process algebras
inferredcites →https://doi.org/10.1016/0141-9331(87)90305-xopenalex-snapshot
Performance models of multiprocessor systems
inferredcites →https://doi.org/10.1016/0304-3975(90)90111-topenalex-snapshot
Specification styles in distributed systems design and verification
inferredcites →https://doi.org/10.1109/cmpeur.1991.257509openalex-snapshot
A quarter century of performance evaluation-Impact on science and engineering
inferredcites →https://doi.org/10.1109/tse.1986.6312965openalex-snapshot
Considerations on the insularity of performance evaluation
inferredcites →https://doi.org/10.1109/tse.1987.232852openalex-snapshot
Performance and Reliability Analysis Using Directed Acyclic Graphs
inferredcites →https://doi.org/10.1145/55482.55504openalex-snapshot
Extensions to communicating sequential processes to allow protocol performance specification
inferredcites →https://doi.org/10.1145/55483.55504openalex-snapshot
Extensions to communicating sequential processes to allow protocol performance specification
inferredcites →https://doi.org/10.7916/d84f1zvxopenalex-snapshot
Algebraic Specification-Based Performance Analysis or Communication Protocols
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.1002/stvr.448openalex-snapshot
A formal framework to test soft and hard deadlines in timed systems
inferred← citeshttps://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
inferred← citeshttps://doi.org/10.1007/11419822_4openalex-snapshot
Performance Analysis of Mobile Systems
inferred← citeshttps://doi.org/10.1007/11508380_74openalex-snapshot
Modeling Execution Time of Selected Computation and Communication Kernels on Grids
inferred← citeshttps://doi.org/10.1007/11560647_30openalex-snapshot
Weak Stochastic Bisimulation for Non-markovian Processes
inferred← citeshttps://doi.org/10.1007/11817949_5openalex-snapshot
Probability and Nondeterminism in Operational Models of Concurrency
inferred← citeshttps://doi.org/10.1007/3-540-40911-4_24openalex-snapshot
Towards Model Checking Stochastic Process Algebra
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-44667-2_5openalex-snapshot
Process Algebra and Markov Chains
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-44685-0_22openalex-snapshot
A Testing Theory for Generally Distributed Stochastic Processes
inferred← citeshttps://doi.org/10.1007/3-540-44685-0_6openalex-snapshot
Performance Evaluation:= (Process Algebra + Model Checking) X Markov Chains
inferred← citeshttps://doi.org/10.1007/3-540-44804-7_1openalex-snapshot
Advances in Model Representations
inferred← citeshttps://doi.org/10.1007/3-540-44919-1_5openalex-snapshot
Compositional Theories of Qualitative and Quantitative Behaviour
inferred← citeshttps://doi.org/10.1007/3-540-45319-9_16openalex-snapshot
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders
inferred← citeshttps://doi.org/10.1007/3-540-45614-7_23openalex-snapshot
On Combining Functional Verification and Performance Evaluation Using CADP
inferred← citeshttps://doi.org/10.1007/3-540-45706-2_18openalex-snapshot
Symbolic Cost Estimation of Parallel Applications
inferred← citeshttps://doi.org/10.1007/3-540-45798-4_15openalex-snapshot
Performance Validation of Mobile Software Architectures
inferred← citeshttps://doi.org/10.1007/3-540-46429-8_18openalex-snapshot
Exploiting Modal Logic to Express Performance Measures
inferred← citeshttps://doi.org/10.1007/3-540-46506-5_12openalex-snapshot
Software Performance Evaluation by Models
inferred← citeshttps://doi.org/10.1007/3-540-47884-1_3openalex-snapshot
Stochastic Process Algebras Meet Eden
inferred← citeshttps://doi.org/10.1007/3-540-48778-6_13openalex-snapshot
Specifying Performance Measures for PEPA
inferred← citeshttps://doi.org/10.1007/3-540-58021-2_20openalex-snapshot
The PEPA workbench: A tool to support a process algebra-based approach to performance modelling
inferred← citeshttps://doi.org/10.1007/3-540-61363-3_8openalex-snapshot
The PSR methodology: Integrating hardware and software models
inferred← citeshttps://doi.org/10.1007/3-540-61604-7_63openalex-snapshot
Extended Markovian Process Algebra
inferred← citeshttps://doi.org/10.1007/3-540-68061-6_5openalex-snapshot
Compositional Performance Modelling with the TIPPtool
inferred← citeshttps://doi.org/10.1007/978-0-387-34878-0_36openalex-snapshot
Stochastic Process Algebras: Integrating Qualitative and Quantitative Modelling
inferred← citeshttps://doi.org/10.1007/978-0-387-34878-0_38openalex-snapshot
Integrated Analysis of Concurrent Distributed Systems using Markovian Process Algebra
inferred← citeshttps://doi.org/10.1007/978-1-4471-1007-1_12openalex-snapshot
A Stochastic Process Algebra Based Modelling Tool
inferred← citeshttps://doi.org/10.1007/978-1-84800-223-4_3openalex-snapshot
Stochastically Timed Process Algebra
inferred← citeshttps://doi.org/10.1007/978-3-031-95497-9_5openalex-snapshot
Noninterference Analysis of Stochastically Timed Reversible Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-97439-7_2openalex-snapshot
Nondeterminism in Interactive Markov Chains, with Application to the Erlangen Mainframe
inferred← citeshttps://doi.org/10.1007/978-3-319-99154-2_21openalex-snapshot
A Hemimetric Extension of Simulation for Semi-Markov Decision Processes
inferred← citeshttps://doi.org/10.1007/978-3-322-86771-1_12openalex-snapshot
Leistungsbewertung von Parallelrechnersystemen
inferred← citeshttps://doi.org/10.1007/978-3-540-39800-4_10openalex-snapshot
Performance Evaluation at the Software Architecture Level
inferred← citeshttps://doi.org/10.1007/978-3-540-39800-4_5openalex-snapshot
Validating Distributed Object and Component Designs
inferred← citeshttps://doi.org/10.1007/978-3-540-39893-6_14openalex-snapshot
Adding Action Refinement to Stochastic True Concurrency Models
inferred← citeshttps://doi.org/10.1007/978-3-540-39979-7_22openalex-snapshot
Towards Testing Stochastic Timed Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-45221-8_7openalex-snapshot
A QoS-Oriented Extension of UML Statecharts
inferred← citeshttps://doi.org/10.1007/978-3-540-72522-0_5openalex-snapshot
A Survey of Markovian Behavioral Equivalences
inferred← citeshttps://doi.org/10.1007/978-3-540-72794-1_16openalex-snapshot
Component Connectors with QoS Guarantees
inferred← citeshttps://doi.org/10.1007/978-3-540-75211-0_6openalex-snapshot
SPAMR: Extending PAMR with Stochastic Time
inferred← citeshttps://doi.org/10.1007/978-3-540-75698-9_11openalex-snapshot
Formal Testing of Systems Presenting Soft and Hard Deadlines
inferred← citeshttps://doi.org/10.1007/978-3-540-78499-9_30openalex-snapshot
Structural Operational Semantics for Stochastic Process Calculi
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-642-00596-1_27openalex-snapshot
Concurrency, σ-Algebras, and Probabilistic Fairness
inferred← citeshttps://doi.org/10.1007/978-3-642-02930-1_36openalex-snapshot
Rate-Based Transition Systems for Stochastic Process Calculi
inferred← citeshttps://doi.org/10.1007/978-3-642-04570-7_2openalex-snapshot
On a Uniform Framework for the Definition of Stochastic Process Languages
inferred← citeshttps://doi.org/10.1007/978-3-642-15640-3_3openalex-snapshot
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-32335-5_12openalex-snapshot
Modelling Failures of Distributed Systems in Stochastic Process Algebras
inferred← citeshttps://doi.org/10.1007/978-3-642-79917-4_1openalex-snapshot
Stochastic Process Algebras
inferred← citeshttps://doi.org/10.1007/978-94-011-0187-5_6openalex-snapshot
Performance Modeling with Structured Actions
inferred← citeshttps://doi.org/10.1007/bfb0024323openalex-snapshot
Compile-time performance prediction of parallel systems
inferred← citeshttps://doi.org/10.1007/bfb0055626openalex-snapshot
Priority and maximal progress are completely axiomatisable (extended abstract)
inferred← citeshttps://doi.org/10.1007/bfb0055635openalex-snapshot
Stochastic process algebras benefits for performance evaluation and challenges
inferred← citeshttps://doi.org/10.1007/bfb0055638openalex-snapshot
Towards performance evaluation with general distributions in process algebras
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.1007/s00165-006-0011-6openalex-snapshot
Formal techniques for performance analysis: blending SAN and PEPA
inferred← citeshttps://doi.org/10.1007/s001650050020openalex-snapshot
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet
inferred← citeshttps://doi.org/10.1016/b978-0-444-51624-4.50009-5openalex-snapshot
Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.07.071openalex-snapshot
MarCaSPiS: a Markovian Extension of a Calculus for Services
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.07.091openalex-snapshot
Categories of Timed Stochastic Relations
inferred← citeshttps://doi.org/10.1016/j.future.2015.09.013openalex-snapshot
Logic-based modeling of information transfer in cyber–physical multi-agent systems
inferred← citeshttps://doi.org/10.1016/j.ic.2013.02.004openalex-snapshot
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
inferred← citeshttps://doi.org/10.1016/j.ic.2013.04.001openalex-snapshot
Structural operational semantics for stochastic and weighted transition systems
inferred← citeshttps://doi.org/10.1016/j.jlamp.2018.06.002openalex-snapshot
Best-by-simulations: A framework for comparing efficiency of reconfigurable architectures on workloads with deadlines
inferred← citeshttps://doi.org/10.1016/j.peva.2005.01.008openalex-snapshot
Contention-sensitive static performance prediction for parallel distributed applications
inferred← citeshttps://doi.org/10.1016/j.simpat.2009.06.003openalex-snapshot
A unified approach to modelling the performance of concurrent systems
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.07.036openalex-snapshot
A brief history of process algebra
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.08.007openalex-snapshot
Separable equilibrium state probabilities via time reversal in Markovian process algebra
inferred← citeshttps://doi.org/10.1016/j.tcs.2016.02.022openalex-snapshot
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions
inferred← citeshttps://doi.org/10.1016/s0020-0190(01)00214-9openalex-snapshot
Application of a stochastic name-passing calculus to representation and simulation of molecular processes
inferred← citeshttps://doi.org/10.1016/s0164-1212(99)00067-9openalex-snapshot
A performance model interchange format
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/s0166-5316(99)00056-5openalex-snapshot
Compositional performance modelling with the TIPPtool
inferred← citeshttps://doi.org/10.1016/s0167-6423(99)00019-2openalex-snapshot
Automated compositional Markov chain generation for a plain-old telephone system
inferred← citeshttps://doi.org/10.1016/s0169-7552(97)00133-5openalex-snapshot
Stochastic process algebras – between LOTOS and Markov chains
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(00)00305-4openalex-snapshot
Process algebra for performance evaluation
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00375-4openalex-snapshot
Turning back time in Markovian process algebra
inferred← citeshttps://doi.org/10.1016/s0304-3975(98)00169-8openalex-snapshot
Exact performance equivalence: An equivalence relation for stochastic automata
inferred← citeshttps://doi.org/10.1016/s1567-8326(02)00066-8openalex-snapshot
On the use of MTBDDs for performability analysis and verification of stochastic systems
inferred← citeshttps://doi.org/10.1017/cbo9780511569951openalex-snapshot
A Compositional Approach to Performance Modelling
inferred← citeshttps://doi.org/10.1080/00207549608904950openalex-snapshot
Specifications in stochastic process algebra for a robot control problem
inferred← citeshttps://doi.org/10.1080/17445760.2025.2527713openalex-snapshot
Comparing dtsdPBC with other stochastic process algebras
inferred← citeshttps://doi.org/10.1093/comjnl/38.7.492openalex-snapshot
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets
inferred← citeshttps://doi.org/10.1093/comjnl/38.7.622openalex-snapshot
Towards a Product Form Solution for Stochastic Process Algebras
inferred← citeshttps://doi.org/10.1093/comjnl/bxp021openalex-snapshot
Turning Back Time--What Impact on Performance?
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/coginf.2004.1327460openalex-snapshot
STOPA: a stochastic process algebra for the formal representation of cognitive systems
inferred← citeshttps://doi.org/10.1109/iccce.2008.4580592openalex-snapshot
Performance modelling and evaluation of OFDMA based WiMAX systems using RT-SPA
inferred← citeshttps://doi.org/10.1109/ipds.1995.395813openalex-snapshot
Stochastic process algebras as a tool for performance and dependability modelling
inferred← citeshttps://doi.org/10.1109/ipds.1998.707714openalex-snapshot
A unified framework for design and performance analysis of distributed systems
inferred← citeshttps://doi.org/10.1109/lics.1998.705679openalex-snapshot
How to specify and verify the long-run average behaviour of probabilistic systems
inferred← citeshttps://doi.org/10.1109/lics.1998.705680openalex-snapshot
Compositional analysis of expected delays in networks of probabilistic I/O automata
inferred← citeshttps://doi.org/10.1109/mascot.1997.567596openalex-snapshot
Efficient analysis techniques for symmetric multiprocessor architectures
inferred← citeshttps://doi.org/10.1109/mascot.2003.1240656openalex-snapshot
Twotowers 3.0: enhancing usability
inferred← citeshttps://doi.org/10.1109/mascots.2013.23openalex-snapshot
Autoreversibility: Exploiting Symmetries in Markov Chains
inferred← citeshttps://doi.org/10.1109/meco.2014.6862704openalex-snapshot
Estimation of latency in embedded real-time systems
inferred← citeshttps://doi.org/10.1109/pnpm.1993.393432openalex-snapshot
Constructive modelling and design basic research within the European QMIPS-project
inferred← citeshttps://doi.org/10.1109/pnpm.1995.524325openalex-snapshot
Stochastic Petri net semantics for stochastic process algebras
inferred← citeshttps://doi.org/10.1109/pnpm.1995.524326openalex-snapshot
A comparison of performance evaluation process algebra and generalized stochastic Petri nets
inferred← citeshttps://doi.org/10.1109/pnpm.1995.524327openalex-snapshot
Giving a net semantics to Markovian process algebra
inferred← citeshttps://doi.org/10.1109/pnpm.1997.595548openalex-snapshot
Throughput approximation of decision free processes using decomposition
inferred← citeshttps://doi.org/10.1109/qest.2008.25openalex-snapshot
Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains
inferred← citeshttps://doi.org/10.1109/sefm.2007.15openalex-snapshot
Fifth IEEE International Conference on Software Engineering and Formal Methods - Copyright
inferred← citeshttps://doi.org/10.1109/sefm.2007.41openalex-snapshot
Testing conformance on Stochastic Stream X-Machines
inferred← citeshttps://doi.org/10.1109/tpds.2003.1178879openalex-snapshot
Symbolic performance modeling of parallel systems
inferred← citeshttps://doi.org/10.1145/1059816.1059822openalex-snapshot
QoS modelling and analysis with UML-statecharts
inferred← citeshttps://doi.org/10.1145/1142980.1142983openalex-snapshot
Computation and communication refinement for multiprocessor SoC design
inferred← citeshttps://doi.org/10.1145/2522968.2522973openalex-snapshot
A uniform definition of stochastic process calculi
inferred← citeshttps://doi.org/10.1145/333580.333586openalex-snapshot
Let's evaluate performance algebraically
inferred← citeshttps://doi.org/10.1145/581339.581405openalex-snapshot
Distributed component technologies and their software engineering implications
inferred← citeshttps://doi.org/10.22215/etd/2013-08610openalex-snapshot
Extending layered queueing network with hybrid sub-models representing exceptions and decision making
inferred← citeshttps://doi.org/10.25596/jalc-2003-361openalex-snapshot
On Behaviour Equivalence for Probabilistic I/O Automata and its Relationship to Probabilistic Bisimulation
inferred← citeshttps://doi.org/10.3990/1.9789036515641openalex-snapshot
Towards effective model checking
inferred← citeshttps://doi.org/10.4018/jcini.2007100104openalex-snapshot
A Formal Specification of the Memorization Process
inferred← citeshttps://doi.org/10.4108/icst.valuetools2009.7424openalex-snapshot
Memory efficient analysis for a class of large structured Markov chains: work in progress
inferred← citeshttps://doi.org/10.4204/eptcs.246.10openalex-snapshot
Best-by-Simulations: A Framework for Comparing Efficiency of Reconfigurable Multicore Architectures on Workloads with Deadlines
inferred← citeshttps://doi.org/10.4204/eptcs.25.19openalex-snapshot
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions
inferred← citeshttps://doi.org/10.4204/eptcs.312.3openalex-snapshot
A Faster-Than Relation for Semi-Markov Decision Processes
inferred← citeshttps://doi.org/10.4204/eptcs.57.6openalex-snapshot
A Stochastic Broadcast Pi-Calculus
inferred← citeshttps://doi.org/10.4230/dagsemproc.06161.8openalex-snapshot
Population models from PEPA descriptions
inferred← citeshttps://doi.org/10.47749/t/unicamp.2003.345317openalex-snapshot
Estudo sobre processamento maciçamente paralelo na internet
inferred← citeshttps://doi.org/10.48550/arxiv.1310.4106openalex-snapshot
Weak bisimulations for labelled transition systems weighted over semirings
inferred← citeshttps://doi.org/10.54337/aau300041621openalex-snapshot
Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects
inferred← citeshttps://doi.org/10.5555/1775223.1775234openalex-snapshot
Formal testing of systems presenting soft and hard deadlines
inferred← citeshttps://doi.org/10.6100/ir552381openalex-snapshot
Formal specification and analysis of industrial systems
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.