New global types for asynchronous multiparty sessions are interpreted as Prime Event Structures with equivalence to session interpretations as Flow Event Structures when typable.
Title resolution pending
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
verdicts
UNVERDICTED 3representative citing papers
Extends complete finite prefixes to symbolic unfoldings of high-level Petri nets by generalizing Esparza et al.'s algorithm for safe nets, with prototype evaluation on four new benchmark families and an extension to certain infinite-marking nets.
The paper defines a distance measure between chemical reaction networks based on their flux graphs from stochastic simulations to quantify behavioral similarity and equivalence.
citing papers explorer
-
Global types and event structure semantics for asynchronous multiparty sessions
New global types for asynchronous multiparty sessions are interpreted as Prime Event Structures with equivalence to session interpretations as Flow Event Structures when typable.
-
Taking Complete Finite Prefixes To High Level, Symbolically
Extends complete finite prefixes to symbolic unfoldings of high-level Petri nets by generalizing Esparza et al.'s algorithm for safe nets, with prototype evaluation on four new benchmark families and an extension to certain infinite-marking nets.
-
On Quantitative Comparison of Chemical Reaction Network Models
The paper defines a distance measure between chemical reaction networks based on their flux graphs from stochastic simulations to quantify behavioral similarity and equivalence.