Linked e-resources
Details
Table of Contents
Kickstarting Choreographic Programming
On the Suitability of Behavioral Profiles for Process Model Comparison
Formal Verification of Petri Nets with Names
Modeling and formal analysis of a client-server application for Cloud services
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems
Designing Efficient XACML Policies for RESTful Services
Type Inference for Session Types in the Pi-Calculus
Type checking purpose-based access control policies in the pi-calculus
On the decidability of honesty and of its variants.
On the Suitability of Behavioral Profiles for Process Model Comparison
Formal Verification of Petri Nets with Names
Modeling and formal analysis of a client-server application for Cloud services
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems
Designing Efficient XACML Policies for RESTful Services
Type Inference for Session Types in the Pi-Calculus
Type checking purpose-based access control policies in the pi-calculus
On the decidability of honesty and of its variants.