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

assemblyconcurrencyprocess algebratree automata

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

• 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
• 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?)
• 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)

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