API-CalculusActor model and process calculiActor model and process calculi historyAlgebra of Communicating ProcessesAmbient calculusCalculus of Broadcasting SystemsCalculus of communicating systemsCommunicating sequential processesConstruction and Analysis of Distributed ProcessesE-LOTOSJoin-calculusLanguage Of Temporal Ordering SpecificationMCRL2PEPAProcess calculusSequential compositionStochastic probeTemporal Process LanguageUnbounded nondeterminismΠ-calculus
subject
Wikipage page ID
Wikipage revision ID
547,867,532
type
label
Process calculi
@en
broader
prefLabel
Process calculi
@en