Leaf-First Zipper Semantics.
IFIP WG 6.1 International Conference on Formal Techniques for(2024)
Abstract
Biernacka et al. recently proposed zipper semantics , a semantics format from which sound and complete abstract machines for non-deterministic languages can be automatically derived. We present a new style of zipper semantics, called leaf-first , in which we express the semantics of two extensions of HO π , a higher-order version of the π -calculus: one with passivation and the other with join patterns. The leaf-first style is better suited than the original one to express phenomena occurring in process calculi semantics such as scope extrusion, which is observable with passivation and complex with join patterns.
MoreTranslated text
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined