Programming Languages and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662544334, 9783662544341
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals ML and Extended Branching VASS

2017 ◽  
pp. 314-340 ◽  
Author(s):  
Conrad Cotton-Barratt ◽  
Andrzej S. Murawski ◽  
C. -H. Luke Ong

scholarly journals Confluence of Graph Rewriting with Interfaces

2017 ◽  
pp. 141-169 ◽  
Author(s):  
Filippo Bonchi ◽  
Fabio Gadducci ◽  
Aleks Kissinger ◽  
Paweł Sobociński ◽  
Fabio Zanasi
Keyword(s):  
Graph Rewriting

Is Your Software on Dope?

2017 ◽  
pp. 83-110 ◽  
Author(s):  
Pedro R. D’Argenio ◽  
Gilles Barthe ◽  
Sebastian Biewer ◽  
Bernd Finkbeiner ◽  
Holger Hermanns

LINCX: A Linear Logical Framework with First-Class Contexts

2017 ◽  
pp. 530-555 ◽  
Author(s):  
Aina Linn Georges ◽  
Agata Murawska ◽  
Shawn Otis ◽  
Brigitte Pientka
Keyword(s):  
Logical Framework

Proving Linearizability Using Partial Orders

2017 ◽  
pp. 639-667 ◽  
Author(s):  
Artem Khyzha ◽  
Mike Dodds ◽  
Alexey Gotsman ◽  
Matthew Parkinson
Keyword(s):  
Partial Orders
Load More ...
Sign in / Sign up

Export Citation Format

Share Document