Abstract: This paper presents a labeled transition system (LTS) for mobile ambients. We define labels for transitions using contexts of processes.
scholar.google.com › citations
Bisimulation equivalence is well known as one of the most useful definition of equivalence of processes. That is defined based on a labeled transition system ( ...
Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System · M. Murakami · Published in International Symposium on… 1 July 2013 ...
This paper presents a labeled transition system (LTS) for mobile ambients. We define labels for transitions using contexts of processes.
Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System. Murakami, Masaki · Details · Contributors · Bibliography ...
This paper deals with the algebra theory of a variant of this calculus, the Robust Mobile Ambient (ROAM). Hitherto, for ROAM, the criterion of process ...
Contextual barbed bisimulation is to be distinguished from the congruence obtained from barbed bisimulation equivalence [9,12]. This former equivalence is ...
Request PDF | Bisimulation Congruences in Safe Ambients | We study a variant of Levi and Sangiorgi's Safe Ambients (SA) enriched with passwords (SAP).
The standard transitions coincide (modulo structural congruence) with the contextual labelled transitions with their parameter instantiated by 0. One might ...
focusing on systems. - On systems, the labelled bisimulation based equivalence over systems c with the reduction barbed congruence;. - communication of ...