1 |
A Formal Approach to the Engineering of Domain-Specific Distributed Systems
|
|
|
|
In: Lecture Notes in Computer Science ; 20th International Conference on Coordination Languages and Models (COORDINATION) ; https://hal.inria.fr/hal-01821499 ; 20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.110-141, ⟨10.1007/978-3-319-92408-3_5⟩ (2018)
|
|
BASE
|
|
Show details
|
|
2 |
A formal approach to autonomic systems programming: the SCEL Language
|
|
|
|
BASE
|
|
Show details
|
|
4 |
Linguistic abstractions for programming and policing autonomic computing systems
|
|
|
|
BASE
|
|
Show details
|
|
5 |
On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data
|
|
|
|
BASE
|
|
Show details
|
|
6 |
From Flow Logic to Static Type Systems for Coordination Languages
|
|
|
|
BASE
|
|
Show details
|
|
|
|