Towards SOS meta-theory for language-based security

M.R. Mousavi

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


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
Publication statusPublished - 2005


Dive into the research topics of 'Towards SOS meta-theory for language-based security'. Together they form a unique fingerprint.

Cite this