Towards SOS meta-theory for language-based security

M.R. Mousavi

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Abstract

no abstract.
Original languageEnglish
Title of host publicationAlgebraic Process Calculi: The First Twenty Five Years and Beyond (Short contributions from the workshop, Bertinoro, Forli, Italy, August 1-5, 2005), BRICS Notes Series NS-05-3
EditorsL. Aceto, A.D. Gordon
Place of PublicationAarhus, Denmark
PublisherBRICS, University of Aarhus
Pages188-191
Publication statusPublished - 2005

Cite this

Mousavi, M. R. (2005). Towards SOS meta-theory for language-based security. In L. Aceto, & A. D. Gordon (Eds.), Algebraic Process Calculi: The First Twenty Five Years and Beyond (Short contributions from the workshop, Bertinoro, Forli, Italy, August 1-5, 2005), BRICS Notes Series NS-05-3 (pp. 188-191). Aarhus, Denmark: BRICS, University of Aarhus.