Semantics, Logics, and Calculi - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319278094, 9783319278100
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Replicating Data for Better Performances in X10

2015 ◽  
pp. 236-251
Author(s):  
Marina Andrić ◽  
Rocco De Nicola ◽  
Alberto Lluch Lafuente

scholarly journals Abstract Interpretation of PEPA Models

2015 ◽  
pp. 140-158
Author(s):  
Stephen Gilmore ◽  
Jane Hillston ◽  
Natalia Zoń
Keyword(s):  
Abstract Interpretation

scholarly journals Schedulers are no Prophets

2015 ◽  
pp. 214-235 ◽  
Author(s):  
Arnd Hartmanns ◽  
Holger Hermanns ◽  
Jan Krčál

An Automata-Based Approach to Trace Partitioned Abstract Interpretation

2015 ◽  
pp. 88-110
Author(s):  
Mads Christian Olesen ◽  
René Rydhof Hansen ◽  
Kim Guldstrand Larsen
Keyword(s):  
Abstract Interpretation

Playing with Abstraction and Representation

2015 ◽  
pp. 191-213 ◽  
Author(s):  
Bernhard Steffen ◽  
Malte Isberner ◽  
Marc Jasper
Load More ...
Sign in / Sign up

Export Citation Format

Share Document