A calculus of branching processes

DOI10.1016/J.TCS.2019.06.028MaRDI QIDQ2286743zbMATH OpenOpenAlexWikidataFDO

Authors Thomas Ehrhard, Ying Jiang, Jean Krivine

Publication date 22 January 2020

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2019.06.028

zbMATH Keywords

concurrencyprocess algebratree automataassembly

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 43609
• Branching processes
• scientific article; zbMATH DE number 3069539
• scientific article; zbMATH DE number 1263800
• Branching process and their application
• scientific article; zbMATH DE number 780730
• Branching Markov processes and related asymptotics
• Branching measure-valued processes
• Branching processes -- a general concept

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4074504 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 4119615 (Why is no real title available?)
• scientific article; zbMATH DE number 2090726 (Why is no real title available?)
• A Distributed Pi-Calculus
• A process algebra for wireless mesh networks
• A theory of processes with localities
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Multiparty session types meet communicating automata
• Network-conscious -calculus -- a model of Pastry
• OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
• Testing equivalences for processes
• Tree acceptors and some of their applications

Cited in

(8)

• scientific article; zbMATH DE number 3069539 (Why is no real title available?)
• Branching processes with generalized summation operation: The case of multiplication
• Branching Processes, the Max-Plus Algebra and Network Calculus
• Tree process calculus
• T. E. Harris and branching processes
• Branching processes and their application to chemical chain reactions
• A calculus of countable broadcasting systems
• scientific article; zbMATH DE number 780730 (Why is no real title available?)

This page was built for publication: A calculus of branching processes

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