scientific article; zbMATH DE number 140226

zbMATH Open0766.68034MaRDI QIDQ4028618FDOQ4028618

Authors: Hans Hansson 

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

Recommendations

• Probabilistic and prioritized models of timed CSP
• Processes with probabilities, priority and time
• A CALCULUS OF TIMED COMMUNICATING SYSTEMS
• Timed, Distributed, Probabilistic, Typed Processes
• scientific article; zbMATH DE number 1696898

zbMATH Keywords

discrete timecalculus of communicating systemsalternating-bit protocoltimeoutsunreliable media

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Network design and communication in computer systems (68M10)

Cited In (2)

• A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028618)