A Logical Characterisation of Static Equivalence
From MaRDI portal
Publication:5262936
DOI10.1016/j.entcs.2007.02.032zbMath1316.68096MaRDI QIDQ5262936
Michael D. Pedersen, Hans Hüttel
Publication date: 10 July 2015
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.032
94A60: Cryptography
03B70: Logic in computer science
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Uses Software
Cites Work