Used together with:
persist
(1)
linear
(1)
express
(1)
calculus
(1)
Stem
asychron$ (
all stems
)
1 papers:
LICS-2006-PalamidessiSVV
#on the
#persistent
#π-calculus
On the Expressiveness of Linearity vs Persistence in the Asychronous π-Calculus (
CP
,
VAS
,
FDV
,
BV
), pp. 59–68.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.