A Calculus of Countable Broadcasting Systems

DOI10.1007/3-540-60043-4_73zbMath1496.68227OpenAlexW1606018104MaRDI QIDQ5096402

Yoshinao Isobe, Kazuhito Ohmaki, Yutaka Sato

Publication date: 16 August 2022

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.163.322

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Calculi for synchrony and asynchrony
• Higher-level synchronising devices in Meije-SCCS
• A calculus of mobile processes. II
• Turning SOS rules into equations
• Synchronization trees
• Behavioural abstraction in TCCS

This page was built for publication: A Calculus of Countable Broadcasting Systems