Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Honda, Kohei
2004.
From process logic to program logic.
ACM SIGPLAN Notices,
Vol. 39,
Issue. 9,
p.
163.
Honda, Kohei
2004.
From process logic to program logic.
p.
163.
Focardi, Riccardo
Rossi, Sabina
and
Sabelfeld, Andrei
2005.
Foundations of Software Science and Computational Structures.
Vol. 3441,
Issue. ,
p.
299.
Yoshida, Nobuko
Honda, Kohei
and
Berger, Martin
2007.
Linearity and bisimulation.
The Journal of Logic and Algebraic Programming,
Vol. 72,
Issue. 2,
p.
207.
Honda, Kohei
and
Yoshida, Nobuko
2007.
A uniform type structure for secure information flow.
ACM Transactions on Programming Languages and Systems,
Vol. 29,
Issue. 6,
p.
31.
Kwiatkowska, Marta
Norman, Gethin
Parker, David
and
Vigliotti, Maria Grazia
2009.
Probabilistic Mobile Ambients.
Theoretical Computer Science,
Vol. 410,
Issue. 12-13,
p.
1272.
Schubert, Aleksy
and
Walukiewicz-Chrząszcz, Daria
2009.
The Non-Interference Protection in BML.
Electronic Notes in Theoretical Computer Science,
Vol. 253,
Issue. 5,
p.
113.
Muller, Stefan
and
Chong, Stephen
2012.
Towards a practical secure concurrent language.
ACM SIGPLAN Notices,
Vol. 47,
Issue. 10,
p.
57.
Muller, Stefan
and
Chong, Stephen
2012.
Towards a practical secure concurrent language.
p.
57.
Discussions
No Discussions have been published for this article.