The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 25)

H-INDEX

(FIVE YEARS 2)

Published By Springer International Publishing

9783030311742, 9783030311759

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Polymorphic Session Processes as Morphisms

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31175-9_7 ◽

2019 ◽

pp. 101-117

Author(s):

Bernardo Toninho ◽

Nobuko Yoshida

Download Full-text

Statistical Epistemic Logic

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31175-9_20 ◽

2019 ◽

pp. 344-362

Author(s):

Yusuke Kawamoto

Keyword(s):

Epistemic Logic

Download Full-text

Refinement Metrics for Quantitative Information Flow

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31175-9_23 ◽

2019 ◽

pp. 397-416

Author(s):

Konstantinos Chatzikokolakis ◽

Geoffrey Smith

Keyword(s):

Information Flow ◽

Quantitative Information ◽

Quantitative Information Flow

Download Full-text

Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31175-9_8 ◽

2019 ◽

pp. 118-138 ◽

Cited By ~ 1

Author(s):

Maurizio Gabbrielli ◽

Saverio Giallorenzo ◽

Ivan Lanese ◽

Jacopo Mauro

Download Full-text

A Coalgebraic Approach to Unification Semantics of Logic Programming

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31175-9_13 ◽

2019 ◽

pp. 223-240

Author(s):

Roberto Bruni ◽

Ugo Montanari ◽

Giorgio Mossa

Keyword(s):

Logic Programming

Download Full-text

Core-concavity, Gain Functions and Axioms for Information Leakage

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31175-9_15 ◽

2019 ◽

pp. 261-275 ◽

Cited By ~ 1

Author(s):

Arthur Américo ◽

M. H. R. Khouzani ◽

Pasquale Malacaria

Keyword(s):

Information Leakage

Download Full-text

Confluence of the Chinese Monoid

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31175-9_12 ◽

2019 ◽

pp. 206-220

Author(s):

Jörg Endrullis ◽

Jan Willem Klop

Keyword(s):

Chinese Monoid

Download Full-text

Toward a Formal Model for Group Polarization in Social Networks

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31175-9_24 ◽

2019 ◽

pp. 419-441

Author(s):

Mário S. Alvim ◽

Sophia Knight ◽

Frank Valencia

Keyword(s):

Social Networks ◽

Formal Model ◽

Group Polarization

Download Full-text

Polyadic Soft Constraints

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31175-9_14 ◽

2019 ◽

pp. 241-257

Author(s):

Filippo Bonchi ◽

Laura Bussi ◽

Fabio Gadducci ◽

Francesco Santini

Keyword(s):

Soft Constraints

Download Full-text

Stronger Validity Criteria for Encoding Synchrony

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31175-9_11 ◽

2019 ◽

pp. 182-205 ◽

Cited By ~ 1

Author(s):

Rob van Glabbeek ◽

Ursula Goltz ◽

Christopher Lippert ◽

Stephan Mennicke

Keyword(s):

Validity Criteria

Download Full-text

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Polymorphic Session Processes as Morphisms

Statistical Epistemic Logic

Refinement Metrics for Quantitative Information Flow

Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies

A Coalgebraic Approach to Unification Semantics of Logic Programming

Core-concavity, Gain Functions and Axioms for Information Leakage

Confluence of the Chinese Monoid

Toward a Formal Model for Group Polarization in Social Networks

Polyadic Soft Constraints

Stronger Validity Criteria for Encoding Synchrony

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Lecture Notes in Computer Science
Latest Publications