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

TOTAL DOCUMENTS

31

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer International Publishing

9783319893655, 9783319893662

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Call-by-Need, Neededness and All That

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-319-89366-2_13 ◽

2018 ◽

pp. 241-257 ◽

Author(s):

Delia Kesner ◽

Alejandro Ríos ◽

Andrés Viso

Download Full-text

A New Linear Logic for Deadlock-Free Session-Typed Processes

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-319-89366-2_5 ◽

2018 ◽

pp. 91-109 ◽

Author(s):

Ornela Dardha ◽

Simon J. Gay

Keyword(s):

Download Full-text

Non-angelic Concurrent Game Semantics

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-319-89366-2_1 ◽

2018 ◽

pp. 3-19 ◽

Author(s):

Simon Castellan ◽

Pierre Clairambault ◽

Jonathan Hayman ◽

Glynn Winskel

Keyword(s):

Download Full-text

Verifying Higher-Order Functions with Tree Automata

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-319-89366-2_31 ◽

2018 ◽

pp. 565-582 ◽

Author(s):

Thomas Genet ◽

Timothée Haudebourg ◽

Thomas Jensen

Keyword(s):

Higher Order ◽

Tree Automata ◽

Higher Order Functions

Download Full-text

Comparator Automata in Quantitative Verification

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-319-89366-2_23 ◽

2018 ◽

pp. 420-437 ◽

Author(s):

Suguman Bansal ◽

Swarat Chaudhuri ◽

Moshe Y. Vardi

Keyword(s):

Quantitative Verification

Download Full-text

A Framework for Parameterized Monitorability

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-319-89366-2_11 ◽

2018 ◽

pp. 203-220 ◽

Author(s):

Luca Aceto ◽

Antonis Achilleos ◽

Adrian Francalanza ◽

Anna Ingólfsdóttir

Download Full-text

Modular Tableaux Calculi for Separation Theories

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-319-89366-2_24 ◽

2018 ◽

pp. 441-458

Author(s):

Simon Docherty ◽

David Pym

Download Full-text

Proper Semirings and Proper Convex Functors

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-319-89366-2_18 ◽

2018 ◽

pp. 331-347 ◽

Author(s):

Ana Sokolova ◽

Harald Woracek

Keyword(s):

Download Full-text

Automata for True Concurrency Properties

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-319-89366-2_9 ◽

2018 ◽

pp. 165-182 ◽

Author(s):

Paolo Baldan ◽

Tommaso Padoan

Keyword(s):

True Concurrency

Download Full-text

Fab ous Interoperability for ML and a Linear Language

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-319-89366-2_8 ◽

2018 ◽

pp. 146-162 ◽

Author(s):

Gabriel Scherer ◽

Max New ◽

Nick Rioux ◽

Amal Ahmed

Download Full-text