Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

31
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642198045, 9783642198052
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Deriving Labels and Bisimilarity for Concurrent Constraint Programming

2011 ◽  
pp. 138-152 ◽  
Author(s):  
Andrés Aristizábal ◽  
Filippo Bonchi ◽  
Catuscia Palamidessi ◽  
Luis Pino ◽  
Frank Valencia
Keyword(s):  
Constraint Programming ◽  
Concurrent Constraint Programming

scholarly journals HTML Validation of Context-Free Languages

2011 ◽  
pp. 426-440 ◽  
Author(s):  
Anders M ø ller ◽  
Mathias Schwarz
Keyword(s):  
Context Free

scholarly journals A Trace-Based View on Operating Guidelines

2011 ◽  
pp. 411-425 ◽  
Author(s):  
Christian Stahl ◽  
Walter Vogler

scholarly journals Asymptotic Information Leakage under One-Try Attacks

2011 ◽  
pp. 396-410 ◽  
Author(s):  
Michele Boreale ◽  
Francesca Pampaloni ◽  
Michela Paolini
Keyword(s):  
Information Leakage
Load More ...
Sign in / Sign up

Export Citation Format

Share Document