Filter your results
- 9
- 1
- 5
- 4
- 1
- 10
- 1
- 4
- 3
- 1
- 1
- 10
- 10
- 10
- 4
- 3
- 10
- 5
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
10 Results
|
|
sorted by
|
|
Axiomatizing Maximal Progress and Discrete TimeLogical Methods in Computer Science, 2021, ⟨10.23638/LMCS-17(1:1)2021⟩
Journal articles
hal-03340630v1
|
||
|
Process calculi as a tool for studying coordination, contracts and session typesJournal of Logical and Algebraic Methods in Programming, 2020, 112, pp.100527. ⟨10.1016/j.jlamp.2020.100527⟩
Journal articles
hal-03102438v1
|
||
|
A Java typestate checker supporting inheritanceScience of Computer Programming, 2022, 221, pp.102844. ⟨10.1016/j.scico.2022.102844⟩
Journal articles
hal-03930280v1
|
||
|
A Sound Algorithm for Asynchronous Session Subtyping and its ImplementationLogical Methods in Computer Science, 2021, ⟨10.23638/LMCS-17(1:20)2021⟩
Journal articles
hal-03340689v1
|
||
|
Choreographies and Behavioural Contracts on the Way to Dynamic UpdatesProceedings First Workshop on Logics and Model-checking for Self*-Systems, Sep 2014, Bertinoro (FC), Italy. pp.12 - 31, ⟨10.4204/EPTCS.168.2⟩
Conference papers
hal-01090924v1
|
||
|
Behavioural Types for Memory and Method Safety in a Core Object-Oriented LanguageAPLAS 2020 - 18th Asian Symposium on Programming Languages and Systems, Nov 2020, Fukuoka / Virtual, Japan
Conference papers
hal-03102375v1
|
||
|
Fair Refinement for Asynchronous Session TypesFOSSACS 2021 - 24th International Conference on Foundations of Software Science and Computation Structures, Mar 2021, Luxembourgh, Luxembourg. ⟨10.1007/978-3-030-71995-1⟩
Conference papers
hal-03340696v1
|
||
|
A Formal Approach to Microservice Architecture Deployment *Microservices, Science and Engineering, 2020
Book sections
hal-03077047v1
|
||
|
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.21-50, ⟨10.1007/978-3-319-92408-3_2⟩
Conference papers
hal-01821498v1
|
||
|
A Session Subtyping ToolCOORDINATION 2021 - 23rd IFIP WG 6.1 International Conference Coordination Models and Languages, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, Jun 2021, Valletta / Virtual, Malta. pp.90-105, ⟨10.1007/978-3-030-78142-2_6⟩
Conference papers
hal-03340750v1
|