Lecture Notes in Computer Science - Web Services, Formal Methods, and Behavioral Types
Latest Publications

TOTAL DOCUMENTS

9

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer International Publishing

9783319336114, 9783319336121

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Type Inference for Session Types in the $$\pi $$ -calculus

Lecture Notes in Computer Science - Web Services, Formal Methods, and Behavioral Types ◽

10.1007/978-3-319-33612-1_7 ◽

2016 ◽

pp. 103-121 ◽

Author(s):

Eva Fajstrup Graversen ◽

Jacob Buchreitz Harbo ◽

Hans Hüttel ◽

Mathias Ormstrup Bjerregaard ◽

Niels Sonnich Poulsen ◽

...

Keyword(s):

Type Inference ◽

Session Types ◽

Download Full-text

On the Decidability of Honesty and of Its Variants

Lecture Notes in Computer Science - Web Services, Formal Methods, and Behavioral Types ◽

10.1007/978-3-319-33612-1_9 ◽

2016 ◽

pp. 143-166 ◽

Author(s):

Massimo Bartoletti ◽

Roberto Zunino

Download Full-text

Kickstarting Choreographic Programming

Lecture Notes in Computer Science - Web Services, Formal Methods, and Behavioral Types ◽

10.1007/978-3-319-33612-1_1 ◽

2016 ◽

pp. 3-10 ◽

Author(s):

Fabrizio Montesi

Download Full-text

Designing Efficient XACML Policies for RESTful Services

Lecture Notes in Computer Science - Web Services, Formal Methods, and Behavioral Types ◽

10.1007/978-3-319-33612-1_6 ◽

2016 ◽

pp. 86-100 ◽

Author(s):

Marc Hüffmeyer ◽

Ulf Schreier

Keyword(s):

Restful Services

Download Full-text

Type Checking Purpose-Based Privacy Policies in the $$\pi $$ -Calculus

Lecture Notes in Computer Science - Web Services, Formal Methods, and Behavioral Types ◽

10.1007/978-3-319-33612-1_8 ◽

2016 ◽

pp. 122-142 ◽

Author(s):

Eleni Kokkinofta ◽

Anna Philippou

Keyword(s):

Privacy Policies ◽

Type Checking ◽

Download Full-text

Modeling and Formal Analysis of a Client-Server Application for Cloud Services

Lecture Notes in Computer Science - Web Services, Formal Methods, and Behavioral Types ◽

10.1007/978-3-319-33612-1_4 ◽

2016 ◽

pp. 51-66

Author(s):

Paolo Arcaini ◽

Roxana-Maria Holom ◽

Elvinia Riccobene

Keyword(s):

Formal Analysis ◽

Cloud Services ◽

Client Server ◽

Server Application

Download Full-text

On the Suitability of Generalized Behavioral Profiles for Process Model Comparison

Lecture Notes in Computer Science - Web Services, Formal Methods, and Behavioral Types ◽

10.1007/978-3-319-33612-1_2 ◽

2016 ◽

pp. 13-28

Author(s):

Abel Armas-Cervantes ◽

Marlon Dumas ◽

Luciano García-Bañuelos ◽

Artem Polyvyanyy

Keyword(s):

Process Model ◽

Model Comparison ◽

Behavioral Profiles

Download Full-text

Formal Verification of Petri Nets with Names

Lecture Notes in Computer Science - Web Services, Formal Methods, and Behavioral Types ◽

10.1007/978-3-319-33612-1_3 ◽

2016 ◽

pp. 29-47

Author(s):

Marco Montali ◽

Andrey Rivkin

Keyword(s):

Formal Verification

Download Full-text

An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems

Lecture Notes in Computer Science - Web Services, Formal Methods, and Behavioral Types ◽

10.1007/978-3-319-33612-1_5 ◽

2016 ◽

pp. 67-85 ◽

Author(s):

Cinzia Di Giusto ◽

Jorge A. Pérez

Keyword(s):

Runtime Adaptation ◽

Download Full-text