Semantics, Logics, and Calculi

Keyphrases

Publications

2016

Bernhard Steffen, Malte Isberner, Marc Jasper
Playing with Abstraction and Representation. Semantics, Logics, and Calculi (2016)
Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente
Replicating Data for Better Performances in X10. Semantics, Logics, and Calculi (2016)
Jan Reineke, Reinhard Wilhelm
Static Timing Analysis - What is Special? Semantics, Logics, and Calculi (2016)
Fritz Henglein, Jakob Rehof
Modal Intersection Types, Two-Level Languages, and Staged Synthesis. Semantics, Logics, and Calculi (2016)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta
Last Mile's Resources. Semantics, Logics, and Calculi (2016)
Stephen Gilmore, Jane Hillston, Natalia Zon
Abstract Interpretation of PEPA Models. Semantics, Logics, and Calculi (2016)
Christian W. Probst, Florian Kammüller, René Rydhof Hansen
Formal Modelling and Analysis of Socio-Technical Systems. Semantics, Logics, and Calculi (2016)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
Static Analysis of Parity Games: Alternating Reachability Under Parity. Semantics, Logics, and Calculi (2016)
Chris Hankin
Game Theory and Industrial Control Systems. Semantics, Logics, and Calculi (2016)
Arnd Hartmanns, Holger Hermanns, Jan Krcál
Schedulers are no Prophets. Semantics, Logics, and Calculi (2016)
Kalmer Apinis, Helmut Seidl, Vesal Vojdani
Enhancing Top-Down Solving with Widening and Narrowing. Semantics, Logics, and Calculi (2016)
Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics. Semantics, Logics, and Calculi (2016)
Mads Christian Olesen, René Rydhof Hansen, Kim Guldstrand Larsen
An Automata-Based Approach to Trace Partitioned Abstract Interpretation. Semantics, Logics, and Calculi (2016)
Alessandra Di Pierro, Herbert Wiklicky
Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression. Semantics, Logics, and Calculi (2016)
David A. Schmidt
Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically. Semantics, Logics, and Calculi (2016)
Alan Mycroft, Dominic A. Orchard, Tomas Petricek
Effect Systems Revisited - Control-Flow Algebra and Semantics. Semantics, Logics, and Calculi (2016)

volume 9560, 2016

Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays Semantics, Logics, and Calculi 9560 (2016)