𝔖 Bobbio Scriptorium
✦   LIBER   ✦
Cover of Roots Before Branches

Roots Before Branches

✍ Scribed by Tyrrell, Abigail

Publisher
Roots and Branches Publishing
Year
2020
Tongue
English
Weight
123 KB
Category
Fiction

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

cover
Root and Branch
✍ Tripp Greyson πŸ“‚ Fiction πŸ“… 2019 🌐 English βš– 82 KB πŸ‘ 2 views
cover
Root and Branch
✍ Fleming, Preston πŸ“‚ Fiction πŸ“… 2020 πŸ› PF Press 🌐 English βš– 237 KB πŸ‘ 2 views
Rooted Branching Bisimulation as a Congr
Rooted Branching Bisimulation as a Congruence
✍ Wan Fokkink πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 246 KB

This article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote's ntyft format. It extends an earlier format by Bloom with standard notions such as recursion, iteration, predicates, an