Automata, Languages and Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

50
(FIVE YEARS 0)

H-INDEX

14
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540359074, 9783540359081
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or

2006 ◽  
pp. 132-143 ◽  
Author(s):  
Stéphanie Delaune ◽  
Pascal Lafourcade ◽  
Denis Lugiez ◽  
Ralf Treinen
Keyword(s):  
Protocol Analysis ◽  
Exclusive Or

An Efficient Provable Distinguisher for HFE

2006 ◽  
pp. 156-167 ◽  
Author(s):  
Vivien Dubois ◽  
Louis Granboulan ◽  
Jacques Stern

scholarly journals A Finite Equational Base for CCS with Left Merge and Communication Merge

2006 ◽  
pp. 492-503 ◽  
Author(s):  
Luca Aceto ◽  
Wan Fokkink ◽  
Anna Ingolfsdottir ◽  
Bas Luttik

Invisible Safety of Distributed Protocols

2006 ◽  
pp. 528-539 ◽  
Author(s):  
Ittai Balaban ◽  
Amir Pnueli ◽  
Lenore D. Zuck
Keyword(s):  
Distributed Protocols
Load More ...
Sign in / Sign up

Export Citation Format

Share Document