Check for available options on the right hand side to narrow down or expand the list.

Show all in one page (slower)

Technical Reports - DIT-02-019
Primitives for Authentication in Process Algebras
2001, Note: Appeared in Theoretical Computer Science 283/2
Keywords: Security, Authentication, Secrecy, Operational Semantics, Proved Transition Systems, Distrib­uted Process Algebras

Abstract: We extend the P­­-calculus and the spi-­calculus with two primitives that guarantee authentica... See more
Technical Reports - DIT-02-018
Application of a stochastic name-­passing calculus to representation and simulation of molecular processes
2001, Note: Appeared in Information Processing Letters 80 (2001) 25-31
Keywords: stochastic P-calculus, bioinformatics, stochastic simulation

Abstract: We describe a novel application of a stochastic name passing calculus for the study of biomolecul... See more