scientific article; zbMATH DE number 3800934

zbMath0507.68033MaRDI QIDQ4745268

Gérard Berthelot, Richard Terrat

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

data transfer phaseECMA transport protocol

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Using approximation for the verification of token-scaling models ⋮ Verification of hypercube communication structures via parametric Petri nets ⋮ Unnamed Item

This page was built for publication: