Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gwen Salaün
Compatibility Checking for Asynchronously Communicating Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reliable Self-Deployment of Distributed Cloud Applications
Software - Practice and Experience
Software
Debugging of Behavioural Models With CLEAR
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Timed BPMN Processes Using Maude
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Computing the Parallelism Degree of Timed BPMN Processes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Checking Business Process Evolution
Science of Computer Programming
Software
Automated Analysis of Industrial Workflow-Based Models
Integration of Formal Datatypes Within State Diagrams
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Translating FSP Into LOTOS and Networks of Automata
Formal Aspects of Computing
Theoretical Computer Science
Software