Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Communicating sequential processes
Communicating sequential processes
Communication and concurrency
Modal logics for mobile processes
Selected papers of the 3rd workshop on Concurrency and compositionality
A completeness theorem for Kleene algebras and the algebra of regular events
Papers presented at the IEEE symposium on Logic in computer science
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Specifying Concurrent Program Modules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modal and temporal properties of processes
Modal and temporal properties of processes
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Modern Cryptography, Probabilistic Proofs, and Pseudorandomness
Modern Cryptography, Probabilistic Proofs, and Pseudorandomness
Dynamic Logic
Word problems requiring exponential time(Preliminary Report)
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
A practical decision method for propositional dynamic logic (Preliminary Report)
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis
LICS '01 Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science
| Hi-index | 0.00 |
There were some errors in the last article of the Logic Column. Thanks to Claudia Zepeda for spotting them. They have been corrected in the online version of the article, available from the CORR archive at http://arxiv.org/abs/cs.LO/0502031. All articles published in this column are archived at CORR; the following URL will return them all: http://arxiv.org/find/grp_cs/1/ti:+AND+logic+column.