Authors
Michele Boreale, Davide Sangiorgi
Publication date
1998/5
Journal
Acta Informatica
Volume
35
Issue
5
Pages
353-400
Publisher
Springer-Verlag
Description
We examine the meaning of causality in calculi for mobile processes like the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\pi$\end{document}-calculus, and we investigate the relationship between interleaving and causal semantics for such calculi. We separate two forms of causal dependencies on actions of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\pi$\end{document}-calculus processes, called subject and object dependencies: The former originate from the …
Total citations
Scholar articles
M Boreale, D Sangiorgi - Acta Informatica, 1998
M Boreale, D Sangiorgi - Annual Symposium on Theoretical Aspects of …, 1995