DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» PEPA
PEPA
A Framework for Performance Evaluation and Verification in Stochastic Process Algebras
Evaluation of Parallel System Using Process Algebra
Experiences with the PEPA Performance Modelling Tools
Models of Computation
A General Overview of Formal Languages for Individual-Based
Arxiv:2106.04512V2 [Cs.MA] 22 Jun 2021 Used by the Winning Team from MAPC 2019, the Liverpool Formidable Constructors (LFC) [8]
The Bond-Calculus: a Process Algebra for Complex Biological Interaction Dynamics
DIT - University of Trento S W S
Structural Operational Semantics for Stochastic Process Calculi
Automatic Mapping of ASSIST Applications Using Process Algebra 1. Introduction a Grid System Is a Geographically Distributed
Static Analysis of Stochastic Process Algebras
Structural and Fluid Analysis for Large Scale PEPA Models — with Applications to Content Adaptation Systems
Algebraic Process Calculi: the First Twenty Five Years and Beyond PA ’05
Lecture Notes in Computer Science 4807 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan Van Leeuwen
Top View