Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Åman Pohjola, Johannes
and
Parrow, Joachim
2014.
Priorities Without Priorities: Representing Preemption in Psi-Calculi.
Electronic Proceedings in Theoretical Computer Science,
Vol. 160,
Issue. ,
p.
2.
Peters, Kirstin
and
van Glabbeek, Rob
2015.
Analysing and Comparing Encodability Criteria.
Electronic Proceedings in Theoretical Computer Science,
Vol. 190,
Issue. ,
p.
46.
GORLA, DANIELE
and
NESTMANN, UWE
2016.
Full abstraction for expressiveness: history, myths and facts.
Mathematical Structures in Computer Science,
Vol. 26,
Issue. 4,
p.
639.
Xu, Xian
2016.
Higher-order Processes with Parameterization over Names and Processes.
Electronic Proceedings in Theoretical Computer Science,
Vol. 222,
Issue. ,
p.
15.
Peters, Kirstin
2019.
Comparing Process Calculi Using Encodings.
Electronic Proceedings in Theoretical Computer Science,
Vol. 300,
Issue. ,
p.
19.
Xu, Xian
2019.
Parameterizing higher-order processes on names and processes.
RAIRO - Theoretical Informatics and Applications,
Vol. 53,
Issue. 3-4,
p.
153.
Patrignani, Marco
Ahmed, Amal
and
Clarke, Dave
2019.
Formal Approaches to Secure Compilation.
ACM Computing Surveys,
Vol. 51,
Issue. 6,
p.
1.
Patrignani, Marco
and
Garg, Deepak
2019.
Programming Languages and Systems.
Vol. 11423,
Issue. ,
p.
469.
van Glabbeek, Rob
Goltz, Ursula
Lippert, Christopher
and
Mennicke, Stephan
2019.
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy.
Vol. 11760,
Issue. ,
p.
182.
Pugliese, Rosario
and
Tiezzi, Francesco
2020.
Replacement freeness: A criterion for separating process calculi.
Journal of Logical and Algebraic Methods in Programming,
Vol. 116,
Issue. ,
p.
100579.
Bisping, Benjamin
Nestmann, Uwe
and
Peters, Kirstin
2020.
Coupled similarity: the first 32 years.
Acta Informatica,
Vol. 57,
Issue. 3-5,
p.
439.
Patrignani, Marco
and
Garg, Deepak
2021.
Robustly Safe Compilation, an Efficient Form of Secure Compilation.
ACM Transactions on Programming Languages and Systems,
Vol. 43,
Issue. 1,
p.
1.
Abate, Carmine
Busi, Matteo
and
Tsampas, Stelios
2021.
Programming Languages and Systems.
Vol. 13008,
Issue. ,
p.
83.
Dardha, Ornela
and
Pérez, Jorge A.
2022.
Comparing type systems for deadlock freedom.
Journal of Logical and Algebraic Methods in Programming,
Vol. 124,
Issue. ,
p.
100717.
van Glabbeek, Rob
2022.
Programming Languages and Systems.
Vol. 13240,
Issue. ,
p.
548.
Peters, Kirstin
and
Yoshida, Nobuko
2024.
Mixed choice in session types.
Information and Computation,
Vol. 298,
Issue. ,
p.
105164.
van Glabbeek, Rob
2024.
Comparing the Expressiveness of the π-calculus and CCS.
ACM Transactions on Computational Logic,
Vol. 25,
Issue. 1,
p.
1.