相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。A theory of monitors
Adrian Francalanza
INFORMATION AND COMPUTATION (2021)
On the semantics of communications when verifying equivalence properties
Kushal Babel et al.
JOURNAL OF COMPUTER SECURITY (2020)
The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication
Martin Abadi et al.
JOURNAL OF THE ACM (2018)
Linear logic propositions as session types
Luis Caires et al.
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE (2016)
Contextual modal type theory
Aleksandar Nanevski et al.
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (2008)
Reversibility and Models for Concurrency
Iain Phillips et al.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2007)
Behavioral theory for mobile ambients
M Merro et al.
JOURNAL OF THE ACM (2005)
A hierarchy of equivalences for asynchronous calculi
C Fournet et al.
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING (2005)
A lambda calculus for quantum computation
A van Tonder
SIAM JOURNAL ON COMPUTING (2004)
Tau laws for pi calculus
YX Fu et al.
THEORETICAL COMPUTER SCIENCE (2003)
A typed context calculus
M Hashimoto et al.
THEORETICAL COMPUTER SCIENCE (2001)
A calculus of lambda calculus contexts
M Bognar et al.
JOURNAL OF AUTOMATED REASONING (2001)