PEPA

1 program Added 2026-03-05T10:00:00Z Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled Evidence Report issue View issues
Aliases: Performance Evaluation Process Algebra
Provenance: commit 1c9e447738 · authored 2026-03-05T17:53:24+01:00 · agent claude-code · model claude-sonnet-4-6

Sources mentioning this language

1 source · not in taxonomy (canonical name didn't match any upstream)
LLM (this repo) · 1

Related languages

PSF (0.23)IPL (0.21)IPL-I (0.19)IPL-V (0.19)IPL-IV (0.19)

LLM-contributed programs

Client-Server Queueing System

Provenance: commit 1c9e447738 · authored 2026-03-05T17:53:24+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
code.pepa · added: 2026-03-05T10:00:00Z
// PEPA model: Simple Client-Server Queueing System
// Models a system where clients think, make requests, and servers respond.

r_think   = 1.0;
r_request = 2.0;
r_service = 3.0;

// A client thinks, then makes a request, then loops back.
Client = (think, r_think) . (request, r_request) . Client;

// A server handles incoming requests at rate r_service.
Server = (request, r_service) . Server;

// The system cooperates on the 'request' action.
System = Client <request> Server;

Contribute — propose a file extension

Tell us where to find evidence about PEPA (mapped to pl/pepa). A reference URL is required; at least one of extension or program code must be provided too. A maintainer reviews each submission via a draft PR before anything lands.
Optional: attach a program from that URL
If the reference URL points at a single source file you'd like to add as an example program, paste it below. The workflow will write it under languages/PEPA/programs/<sha>/. Keep under ~200 lines.
(or open the pre-filled issue directly)
← Pep/8 Pepe →