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

25
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783030311742, 9783030311759
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

2019 ◽  
pp. 118-138 ◽  
Author(s):  
Maurizio Gabbrielli ◽  
Saverio Giallorenzo ◽  
Ivan Lanese ◽  
Jacopo Mauro

Polyadic Soft Constraints

2019 ◽  
pp. 241-257
Author(s):  
Filippo Bonchi ◽  
Laura Bussi ◽  
Fabio Gadducci ◽  
Francesco Santini
Keyword(s):  
Soft Constraints

Stronger Validity Criteria for Encoding Synchrony

2019 ◽  
pp. 182-205 ◽  
Author(s):  
Rob van Glabbeek ◽  
Ursula Goltz ◽  
Christopher Lippert ◽  
Stephan Mennicke
Keyword(s):  
Validity Criteria
Load More ...
Sign in / Sign up

Export Citation Format

Share Document